*** This bug is a duplicate of bug 937822 ***
https://bugs.launchpad.net/bugs/937822
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.
** Changed in: gnome-terminal (Ubuntu)
Status: New => Confirmed
** This bug has been marked a duplicate of bug 937822
[precise] F10 always opens the menu, cannot be overriden (after
xkeyboard-config update)
--
You received this bug notification because you are a member of Desktop
Packages, which is subscribed to gnome-terminal in Ubuntu.
https://bugs.launchpad.net/bugs/975937
Title:
The 'Enable the menu shortcut key (F10 by default)' Option does not
work as expected
Status in “gnome-terminal” package in Ubuntu:
Confirmed
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_accelerators is unset.
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/975937/+subscriptions
--
Mailing list: https://launchpad.net/~desktop-packages
Post to : [email protected]
Unsubscribe : https://launchpad.net/~desktop-packages
More help : https://help.launchpad.net/ListHelp
