event->area.x / 9, event->area.y / 15, (event->area.x + event->area.width - 1) / 9, (event->area.y + event->area.height - 1) / 15);
event->area.x / inst->font_width, event->area.y / inst->font_height, (event->area.x + event->area.width - 1) / inst->font_width, (event->area.y + event->area.height - 1) / inst->font_height);
gint expose_area(GtkWidget *widget, GdkEventExpose *event, gpointer data){    /* struct gui_data *inst = (struct gui_data *)data; */    /*     * Pass the exposed rectangle to terminal.c, which will call us     * back to do the actual painting.     */    term_paint(NULL, 	       event->area.x / 9, event->area.y / 15,	       (event->area.x + event->area.width - 1) / 9,	       (event->area.y + event->area.height - 1) / 15);    return TRUE;}