Ubuntu
gnome-terminal package

  1. Bug #750700
  2. Comment #9

Comment 9 for bug 750700

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

you have my vote on disabling the F10 in ubuntu unity plugin.