+ /* Enable this to help with debugging. It shows you which widgets are being
+ put where. */
+ if (0)
+ {
+ GdkRGBA green = {0, 1, 0, 1};
+ gtk_widget_override_background_color (GTK_WIDGET (view->output),
+ GTK_STATE_NORMAL, &green);
+ GdkRGBA red = {1, 0, 0, 1};
+ gtk_widget_override_background_color (drawing_area, GTK_STATE_NORMAL, &red);
+ }
+