Comment 63 for bug 96676

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.