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 614768 - menubar tweaks
menubar tweaks
Status: RESOLVED DUPLICATE of bug 556021
Product: gnome-terminal
Classification: Core
Component: general
unspecified
Other Linux
: Normal normal
: ---
Assigned To: GNOME Terminal Maintainers
GNOME Terminal Maintainers
Depends on:
Blocks:
 
 
Reported: 2010-04-03 20:31 UTC by Hylke Bons
Modified: 2010-04-03 20:39 UTC
See Also:
GNOME target: ---
GNOME version: ---



Description Hylke Bons 2010-04-03 20:31:44 UTC
I looked at the gnome-terminal menus today and discovered some strange arrangements:

1. There is a "File" menu, but gnome-terminal doesn't have to deal with files.
2. The "Terminal" menu is a collection of items that belong in the other menus.

My suggestions:

1. Rename the "File" menu to "Terminal"
2. Get rid of the old "Terminal" menu and place its entries in other menus.
The different size really belong in the View menu and the "Reset" and "Reset and Clear" in the Edit menu. The rest can be moved to the File menu (Now renamed "Terminal"). This would be consistent with gnome-calculator and cheese, who also don't deal with files.
3. One other tiny thing: The "Normal size" entry in the "View" menu could use a checkbox in front of it. So you know you're already in that state if that's the case.
Comment 1 Christian Persch 2010-04-03 20:39:13 UTC

*** This bug has been marked as a duplicate of bug 556021 ***