Você pode usar uma extensão das Extensões do GNOME . Uma extensão que deve ser capaz de fazer isso é 'windowNavigator' . Uma vez instalado (pode ser necessário reiniciar o shell com Alt + F2 e, em seguida, r , ou efetuando logout e login novamente ) , você pode pressionar Alt enquanto estiver na visão geral, e selecionar uma janela pressionando o número no teclado mostrado em seu canto: