gtk_drawing_area_size(GTK_DRAWING_AREA(inst->area), inst->font_width * w + 2*cfg.window_border, inst->font_height * h + 2*cfg.window_border);
void request_resize(int w, int h){    /* FIXME: currently ignored */}