Você pode desativar o tratamento de F10 na caixa de diálogo Preferências de GNOME Terminal
, na guia Geral.
Enquanto isso, você também pode querer desabilitar Alt + letra mnemônicos aqui, bem como F1 (e se necessário, < kbd> F11 também) na aba Atalhos.