Provavelmente, a maneira mais simples é usar o botão do Menu do seu teclado
i.e. cursor para trás para o rabisco e pressione Menu . Em seguida, selecione a correção sugerida.
Se você não tiver uma tecla Menu , mapeie um atalho de teclado (pesquisa em traço para Atalho de Teclado ) para uma combinação de teclas (por exemplo, CTRL + H ) para o comando
xdotool keydown Menu
N.B. instale o pacote xdotool
se você ainda não o instalou
sudo apt-get install xdotool