Normalmente, vinculo meu terminal para alternar a visibilidade na tecla F9. Eu acabei de instalar o Ubuntu 17.10, já que ele deve ser lançado no mês que vem, acho que é estável o suficiente (e se não, eu sempre posso recarregar!).
De qualquer forma, algo parece estar ligado a F9 por padrão e não consigo descobrir o que é (nada listado em atalhos globais).
Pressionar a tecla não faz nada. Vincular o terminal a alternar para F12 como exemplo funciona bem.
Então, como posso saber o que está interceptando a tecla F9?