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 Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/996485 Title: gnome-terminal still pops up context menu on F10 key despite disabled in preferences To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/996485/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs