GNOME Bugzilla – Bug 95319
'Edit' icon not being themed
Last modified: 2004-12-22 21:47:04 UTC
The 'Edit profiles' dialog seems to use the GTK_STOCK_PREFERENCES icon, but for some reason it's not changing when you change to one of the accessible themes that are supposed to replace it (e.g. HighContrast). Other instances of GTK_STOCK_PREFERENCES that are on-screen at the same time do change, however. (E.g. the gtk-demo icon browser). I'm seeing this on both RH 7.2 and Solaris 8.
You have to override an icon called "terminal-edit" http://bugzilla.gnome.org/show_bug.cgi?id=62466 would allow this to use the gtk-stock-preferencs icon.
Aha, so you do. I've patched gnome-themes accordingly.
I take it this is fixed?
Yes, it's fixed for this instance, although there will doubtless be others where other apps have had to do the same thing.