This hack is a bit messy, since it doesn't allow the panel to use the GTK theme (if the user selects "use system theme" under panel options).
A better bug title would be 'Some gnome-panel Applets still use GTK theme, even if "use system theme" is not selected'
This hack is a bit messy, since it doesn't allow the panel to use the GTK theme (if the user selects "use system theme" under panel options).
A better bug title would be 'Some gnome-panel Applets still use GTK theme, even if "use system theme" is not selected'