Ocasionalmente, quando se trabalha com actiona , o alternador de janelas pára de funcionar. Ele só para de funcionar no espaço de trabalho em que estou.
Eu tenho que sair / entrar para que ele funcione novamente, o que é um incômodo, já que tenho que fechar tudo e reabrir, etc.
A plataforma é o Ubuntu 17.10 usando o x11 e o Gnome-Shell.
Como consertar sem inicializar?