Bug observed here before and confirmed again just now. Did not happen in older releases of Ubuntu.
Interestingly enough, just tested, the "F10 pressed" event is indeed sent to the terminal-based program. Tested with midnight commander (asks to quit). Type "cat" then press F9 then F10. Both escape sequences are received. $ cat ^[[20~^[[21~ Do you confirm that your midnight commander does not receive F10 event ? ** Summary changed: - gnome-terminal incorrectly reacts to F10 key + gnome-terminal still pops up context menu on F10 key despite disabled in preferences -- 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/996485 Title: gnome-terminal still pops up context menu on F10 key despite disabled in preferences Status in “gnome-terminal” package in Ubuntu: Confirmed Bug description: Hello! I have disabled F10 key in gnome-terminal in Edit > Keyboard shortcuts... (unset the mark in "Enable the menu shortcut key (F10 by default") but it continue to work. So F10 key always open drop-down menu (which normally opens with right mouse click) and it sends "~" to the terminal window. I can't use Midnight Commander. Please fix. ProblemType: Bug DistroRelease: Ubuntu 12.04 Package: gnome-terminal 3.4.1.1-0ubuntu1 ProcVersionSignature: Ubuntu 3.2.0-24.37-generic 3.2.14 Uname: Linux 3.2.0-24-generic x86_64 ApportVersion: 2.0.1-0ubuntu7 Architecture: amd64 Date: Tue May 8 15:21:09 2012 SourcePackage: gnome-terminal UpgradeStatus: No upgrade log present (probably fresh install) To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/996485/+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
