After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 95350 - Maybe new profile shouldn't be in the new menu...
Maybe new profile shouldn't be in the new menu...
Status: RESOLVED FIXED
Product: gnome-terminal
Classification: Core
Component: general
unspecified
Other Linux
: Normal trivial
: ---
Assigned To: GNOME Terminal Maintainers
GNOME Terminal Maintainers
Depends on:
Blocks:
 
 
Reported: 2002-10-09 22:22 UTC by Dave Bordoley [Not Reading Bug Mail]
Modified: 2004-12-22 21:47 UTC
See Also:
GNOME target: ---
GNOME version: 2.3/2.4


Description Dave Bordoley [Not Reading Bug Mail] 2002-10-09 22:22:16 UTC 
I'm not sure that including new profile in the new menu is really useful.

justification: 

If a user is going to create a new profile they most likely want to create
one that is different from the current one. 

Choosing new profile makes the steps to creating/editing a new profile harder:
1. Search the new file menu for the new profile menu entry
2. create the profile
3. search the edit menu for "profiles.." 
4. Select the profile from the list of available profiles
5. Click the edit button to enter the profile editor

Thats seems harder than
1. search the edit menus for profiles
2. create the new profile
3. select the new profile(actually i think this may be a bug a newly
created profile should probably already be selected).
4. click edit

The real issue is that searching menus is a hard and slow task and so I'm
not sure this menu entry is really helpful. Point and clicking is obviously
alot faster
Comment 1 Havoc Pennington 2002-10-09 23:02:02 UTC 
Yeah, sounds reasonable.
Comment 2 Calum Benson 2002-10-21 17:27:06 UTC 
Works for me, the less we have to mention profiles in the menus the
better :)
Comment 3 Olav Vitters 2003-06-21 23:18:49 UTC 
When I create a new profile, the first thing I want to do is to change
that profile. Otherwise I could obviously use the current profile.

I propose that the "Editing profile" window is shown after creating a
new profile.
Comment 4 Olav Vitters 2003-10-31 20:10:06 UTC 
Gnome-terminal now automatically pops up the Edit Profile window for
the newly created profile. This should fix the objections of the
reporter (was not efficient to create a profile this way -- steps 3-5).

So should this be marked FIXED or is the removal of the menu option
still wanted?
Comment 5 Calum Benson 2003-11-26 17:16:27 UTC 
Personally I think it's probably reasonable to leave it there, looking
for "New <something>" on the File menu is a difficult habit to get out
of :)
Comment 6 Mariano Suárez-Alvarez 2003-12-01 10:21:16 UTC 
I agree with that. Discoverability of creating profiles would be much
lower too.

I'll close this as FIXED.