Você pode tentar desativar os atalhos do gnome em Editar - > Atalhos de teclado , para que a janela não consuma as teclas de função.
Parece haver um bug conhecido do gnome-terminal relacionado a este .
Como alternativa, se isso não funcionar, você terá que usar outro terminal que envie explicitamente teclas de função como códigos de controle para o terminal. rxvt é um dos que posso recomendar, ou xterm.