Ubuntu
gnome-terminal package

  1. Bug #1380194
  2. Comment #4

Comment 4 for bug 1380194

Revision history for this message
Jarno Suni (jarnos) wrote : Re: Terminal emulator open menu after i press F1 or F10 key

In gnome-terminal 3.18.3 F1 is used and can not be disabled, but F10 can be disabled in preferences.