- /* 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_FLAG_NORMAL, &green);
- GdkRGBA red = {1, 0, 0, 1};
- gtk_widget_override_background_color (drawing_area,
- GTK_STATE_FLAG_NORMAL, &red);
- }
-