Eu estou rodando o Gnome3 em algumas máquinas diferentes - Ubuntu Gnome 17.04 em um e NixOS 17.09 no outro - e eu notei que ocasionalmente quando eu clico em Alt Tab para mudar de aplicativo, nada acontece.
É bastante raro e sempre parece funcionar na segunda tentativa (o que eu costumo fazer mais devagar e deliberadamente, embora eu não tenha certeza se isso faz diferença).
Alguém mais notou isso? E há uma correção?