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 677096 - can't disable menu Shortcut
can't disable menu Shortcut
Status: RESOLVED DUPLICATE of bug 661973
Product: gnome-terminal
Classification: Core
Component: general
3.4.x
Other Linux
: Normal normal
: ---
Assigned To: GNOME Terminal Maintainers
GNOME Terminal Maintainers
Depends on:
Blocks:
 
 
Reported: 2012-05-30 13:07 UTC by Jozef Mlich
Modified: 2012-05-31 12:20 UTC
See Also:
GNOME target: ---
GNOME version: ---


Description Jozef Mlich 2012-05-30 13:07:39 UTC 
It is not possible to disable menu shortcut

steps to reproduce:
1) start "gnome-terminal"
2) Edit -> Keyboard Shortcuts ... 
3) find item "Enable the menu shortcut key (F10 by default)" and set its value to false
4) press f10 (really bad in combination with mc)

additionally, the option should disable by default! 

expected result:
* terminal should receive F10 event and menu should not appear.

current result:
* terminal receives F10 event and menu appears.
Comment 1 Jozef Mlich 2012-05-30 13:12:49 UTC 
i was not able to attach screencast to bugzilla so here is an link
http://pcmlich.fit.vutbr.cz/tmp/gnome-terminal-bug.avi
Comment 2 Jozef Mlich 2012-05-31 12:20:14 UTC 

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