Thanks for the bug info. I've attached a patch to the bug in question, which removes the setting entirely, and replaces it with usage of the icon theme.
-- dobey On Sat, 2005-11-19 at 01:45 +0100, Olav Vitters wrote: > On Fri, Nov 18, 2005 at 07:27:31PM -0500, Rodney Dawes wrote: > > Does anyone actually use this feature? So far, it seems like most people > > don't even know it exists. Most everyone I've asked so far, has said > > that they didn't know about the feature, so I can only extrapolate that > > it holds true for an even larger sample than I've asked. > > I did use it in the past for a Mutt profile, but currently don't > bother. Think removing the icon is a good idea. Bugreport about this > misbehaving icon: > http://bugzilla.gnome.org/show_bug.cgi?id=126081 > _______________________________________________ desktop-devel-list mailing list desktop-devel-list@gnome.org http://mail.gnome.org/mailman/listinfo/desktop-devel-list
