Ubuntu
gnome-terminal package

  1. Bug #750700
  2. Comment #2

Comment 2 for bug 750700

Revision history for this message
Paul Ortyl (ortylp) wrote : Re: gnome-terminal captures F10 for menu even when explicitely disabled

Cleaning gconf entries and reboot does not help, the F10 is still captured.