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 690910 - Add 'Quit' to app menu
Add 'Quit' to app menu
Status: RESOLVED FIXED
Product: gnome-terminal
Classification: Core
Component: general
unspecified
Other Linux
: Low enhancement
: ---
Assigned To: GNOME Terminal Maintainers
GNOME Terminal Maintainers
: 711313 (view as bug list)
Depends on:
Blocks:
 
 
Reported: 2012-12-31 02:50 UTC by Jeremy Bicha
Modified: 2016-05-08 09:03 UTC
See Also:
GNOME target: ---
GNOME version: ---



Description Jeremy Bicha 2012-12-31 02:50:18 UTC
gnome-terminal 3.7.0 adds an app menu but is missing the 'Quit' button in the app menu that is present in all other GNOME 3 apps that use the app menu.

I think one reason for this button is that when a GNOME 3 app is maximized, there is no X button in the top right corner to close the app from.
Comment 1 Christian Persch 2013-01-07 19:50:24 UTC
I see no reason why one would want to 'quit' the server process; it auto-quits when all windows are closed.
Comment 2 Allan Day 2013-05-15 10:02:15 UTC
Quit there as a convenient way to close all windows at once. Conceptually it is good to have it in the application menu also, since the application menu is for global control over the app.

Since we have quit in all the other application menus, it is also good to have this for consistency.
Comment 3 Allan Day 2013-06-20 20:58:26 UTC
Thanks Christian!
Comment 4 Christian Persch 2013-11-02 23:46:37 UTC
*** Bug 711313 has been marked as a duplicate of this bug. ***
Comment 5 Zeeshan Ali 2013-12-09 14:46:19 UTC
I'm a bit confused now. Shouldn't the resolution of this bug be WONTFIX or INVALID instead of FIXED?
Comment 6 Zeeshan Ali 2013-12-09 14:51:57 UTC
Ah nevermind, I misread comment#2. :) Christian, I suggest use of `git bz push` instead of 'git push' so that commits could be traced to appropriate bugs and viceversa.