Re: [Usability] Are the gnome-terminal's Profiles really necessary?

[Calum Benson <Calum Benson Sun COM>]

On 6 Dec 2007, at 05:43, Behdad Esfahbod wrote:

> On Wed, 2007-12-05 at 21:11 -0800, Dylan McCall wrote:
> > Instead of having to choose a profile and edit it, the Preferences
> > could be directly accessible via the menu (as usual), and that would
> > be the same as editing the current profile
>
> That's already the case.  I was surprised that there wasn't a
> Preferences myself, but then found "Current Profile..." which probably
> should be renamed to "Edit Current Profile..." or something.  Donno.

The 'Edit' part is already the menu title; it's just convention not  
to repeat it in the menu item itself.  FWIW, the whole Profiles v  
Preferences thing was also debated as part of this UI review, a few  
years back:
http://bugzilla.gnome.org/show_bug.cgi?id=76800

Cheeri,
Calum.

--
CALUM BENSON, Usability Engineer       Sun Microsystems Ireland
mailto:calum benson sun com            GNOME Desktop Team
http://blogs.sun.com/calum             +353 1 819 9771

Any opinions are personal and not necessarily those of Sun Microsystems