O Terminal Gnome captura F10 em vez de passá-lo para o shell. Eu quero desativá-lo. A procura pelo problema retornou respostas que podem ser desabilitadas em "Preferences / Shortcuts". No entanto, não parece estar lá para mim.
Eu tenho o Ubuntu 16.04 e o Terminal Gnome 3.18.3.