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 87991 - Hidden menu should be shown on F10
Hidden menu should be shown on F10
Status: RESOLVED OBSOLETE
Product: gnome-terminal
Classification: Core
Component: general
unspecified
Other Linux
: Normal enhancement
: ---
Assigned To: GNOME Terminal Maintainers
GNOME Terminal Maintainers
: 736093 (view as bug list)
Depends on: 672433
Blocks:
 
 
Reported: 2002-07-12 04:38 UTC by Jonathan Blandford
Modified: 2021-06-10 14:38 UTC
See Also:
GNOME target: ---
GNOME version: Unversioned Enhancement


Description Jonathan Blandford 2002-07-12 04:38:36 UTC 
If you have menus hidden, and the F10-> menu option on, pressing F10 should
unhide the menubar temporarily.  The behaviour should be similar to
nautilus showing the location bar when Ctrl-L is pressed.
Comment 1 Havoc Pennington 2002-09-22 22:07:39 UTC 
Implementing this would be "fun" I think...
Comment 2 Maxim Ermilov 2008-07-03 05:00:53 UTC 
May be it should hide menu too?
Comment 3 Christian Persch 2008-07-03 08:44:42 UTC 
After the menu is done, it should be re-hidden, yes.
Comment 4 Mikhail 2012-11-12 16:38:18 UTC 
No no no, thing about mc first (midnigth-commander). Even now I remove the menu only to be able to use F10 to Quit mc.
Comment 5 Rohan Jaswal 2014-10-08 12:25:42 UTC 
is it mandatory to use F10 as the designated key?
Comment 6 Rohan Jaswal 2014-10-08 12:27:22 UTC 
sorry for the last comment, didn't understood the problem initially.
Comment 7 Rohan Jaswal 2014-10-08 16:24:49 UTC 
I think more priority should be given to terminal instead of mc
I mean some different key can be assigned to quit mc.
Comment 8 Robert Roth 2015-01-19 21:16:03 UTC 
Gnome Terminal 3.14 does use F10 to show/hide the menubar, so this might be obsolete. Is this still an issue for you?
Comment 9 Christian Persch 2015-01-19 21:18:12 UTC 
That's not what happens here.
Comment 10 Christian Persch 2015-01-29 18:35:28 UTC 
*** Bug 736093 has been marked as a duplicate of this bug. ***
Comment 11 GNOME Infrastructure Team 2021-06-10 14:38:27 UTC 
-- GitLab Migration Automatic Message --

This bug has been migrated to GNOME's GitLab instance and has been closed from further activity.

You can subscribe and participate further through the new bug through this link to our GitLab instance: https://gitlab.gnome.org/GNOME/gnome-terminal/-/issues/1590.