Attached is a patch to fix bug #1165. To summarize: "if you click on
the button to change the background color and hit ok, it changes not
only the name field but also the string field's color away from the
red/green [syntax check]."
Steve
Index: gtk/color_edit_dlg.c
===================================================================
--- gtk/color_edit_dlg.c (revision 19611)
+++ gtk/color_edit_dlg.c (working copy)
@@ -598,7 +598,6 @@
style->text[GTK_STATE_NORMAL] = new_color;
#endif
gtk_widget_set_style(filt_name_entry, style);
- gtk_widget_set_style(filt_text_entry, style);
gtk_style_unref(style);
}
}