After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 95319 - 'Edit' icon not being themed
'Edit' icon not being themed
Status: RESOLVED FIXED
Product: gnome-terminal
Classification: Core
Component: general
2.0.x
Other All
: Normal normal
: ---
Assigned To: Havoc Pennington
GNOME Terminal Maintainers
Depends on:
Blocks:
 
 
Reported: 2002-10-09 18:03 UTC by Calum Benson
Modified: 2004-12-22 21:47 UTC
See Also:
GNOME target: ---
GNOME version: 2.0



Description Calum Benson 2002-10-09 18:03:26 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.
Comment 1 Havoc Pennington 2002-10-09 18:11:59 UTC
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.
Comment 2 Calum Benson 2002-10-09 18:41:32 UTC
Aha, so you do.  I've patched gnome-themes accordingly.
Comment 3 Heath Harrelson 2002-11-19 22:49:17 UTC
I take it this is fixed?
Comment 4 Calum Benson 2002-11-20 18:06:08 UTC
Yes, it's fixed for this instance, although there will doubtless be
others where other apps have had to do the same thing.