The 'Enable the menu shortcut key (F10 by default)' Option does not work as expected
Bug #975937 reported by
Andreas Raster
This bug report is a duplicate of:
Bug #937822: [precise] F10 always opens the menu, cannot be overriden (after xkeyboard-config update).
Edit
Remove
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
gnome-terminal (Ubuntu) |
Confirmed
|
Undecided
|
Unassigned |
Bug Description
Disabling the 'Enable the menu shortcut key' option in gnome-terminal does nothing. The menu still appears whenever I press F10. I checked with gconf-editor and use_menu_
To post a comment you must log in.
Thank you for taking the time to report this bug and helping to make Ubuntu better. This particular bug has already been reported and is a duplicate of bug 937822, so it is being marked as such. Please look at the other bug report to see if there is any missing information that you can provide, or to see if there is a workaround for the bug. Additionally, any further discussion regarding the bug should occur in the other report. Feel free to continue to report any other bugs you may find.