Ubuntu
gnome-terminal package

  1. Bug #996485
  2. Comment #3

Comment 3 for bug 996485

Revision history for this message
Stéphane Gourichon (stephane-gourichon-lpad) wrote :

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 ?