Re: Custom Icons for GNOME Terminal Profiles

[Reinout van Schouwen <reinouts gnome org>]

Op Fri, 18 Nov 2005 19:27:31 -0500, schreef Rodney Dawes:


> 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.

As a matter of fact, I use it for my Pine terminal profile. It makes it a
bit easier to select the right window from the window menu applet. That
said, I wouldn't really mind to see some gnome-terminal cruft get cut out. 


regards,

-- 
Reinout van Schouwen