Ubuntu
gnome-terminal package

  1. Bug #750700
  2. Comment #5

Comment 5 for bug 750700

Revision history for this message
Samuel Hangouët (samuel-hangouet) wrote : Re: gnome-terminal captures F10 for menu even when explicitely disabled

Same problem for me : vim users are used to map F1->F12 keys for shortcuts.