Re: Custom Icons for GNOME Terminal Profiles

[Olav Vitters <olav bkor dhs org>]

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

-- 
Regards,
Olav