/* configure_event: * React to a configure event, perhaps changing the backing image size. */ void configure_event(GtkWidget *widget, GdkEvent *event, gpointer data) { if (darea) drawable = darea->window; gdk_drawable_get_size(GDK_DRAWABLE(drawable), &width, &height); if (!backing_image || backing_image->width != width || backing_image->height != height) make_backing_image(); update_window(); }
/* expose_event: * React to an expose event, perhaps changing the backing image size. */ void expose_event(GtkWidget *widget, GdkEvent *event, gpointer data) { if (darea) drawable = darea->window; gdk_window_get_size(drawable, &width, &height); if (!backing_image || backing_image->width != width || backing_image->height != height) make_backing_image(); update_window(); }