+void set_background(GtkCheckMenuItem *item, gpointer data)
+{
+ GdkColor black = { .red = 0, .green = 0, .blue = 0 };
+ GdkColor dark = { .red = 0x6666, .green = 0x6666, .blue = 0x6666 };
+ GdkColor light = { .red = 0x9999, .green = 0x9999, .blue = 0x9999 };
+
+ if (gtk_check_menu_item_get_active(item)) {
+ /* Enable stippled background. */
+ gdk_gc_set_rgb_fg_color(bg_gc, &dark);
+ gdk_gc_set_rgb_bg_color(bg_gc, &light);
+ gdk_gc_set_fill(bg_gc, GDK_OPAQUE_STIPPLED);
+ } else {
+ gdk_gc_set_rgb_fg_color(bg_gc, &black);
+ gdk_gc_set_fill(bg_gc, GDK_SOLID);
+ }
+ redraw_image();
+}
+