Acontece que a maneira mais fácil é remapear a tecla esquerda-alt usando xmodmap
. Isso é suficiente porque eu só uso o alt-esquerdo para meus atalhos de teclado. A maioria dos aplicativos não tem nenhum recurso vinculado à tecla ALT, mas, no caso de um deles, eu ainda tenho a tecla ALT certa para ele.
Eu ainda preferiria simplesmente desativar o recurso padrão "alt ativa o menu do aplicativo". Deixe-me saber se alguém tem uma maneira de desativá-lo. Obrigado!