Re: Custom Icons for GNOME Terminal Profiles
- From: Olav Vitters <olav bkor dhs org>
- To: desktop-devel-list gnome org
- Subject: Re: Custom Icons for GNOME Terminal Profiles
- Date: Sat, 19 Nov 2005 01:45:33 +0100
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
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]