Once upon a time I back-tracked the problem, and it was somewhere really deep in
gnome/widgets/vte/src/keymap.c:_vte_keymap_key_add_key_modifiers -- it has an algorithm to hack function-key-codes, when SHIFT pressed, eg: F1 = ESC O P Shift+F1 = ESC [ O 1 ; 2 P should be= ESC O 2 P (Shift + F11 = F13 -- (why not F11? dunno.)) It should be completely rewritten (nobody volunteered yet?), or a new terminal-type should be defined which is compatible with these sequences. -- function keys don't work in gnome-terminal https://bugs.launchpad.net/bugs/96676 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs