-
Committer:
Michael Vogt
-
Date:
2013-09-02 16:11:17 UTC
-
mfrom:
(2137.1.1 trunk)
-
Revision ID:
michael.vogt@ubuntu.com-20130902161117-3pn1ysa2eya3ym7r
* gtk/rgpreferenceswindow.{cc,h}:
- make button colored in the preferencess window again, this broke
because gtk3 and gtk_widget_override_background() does not work
(see gtk bug https://bugzilla.gnome.org/show_bug.cgi?id=656461)