[gnome] faire marcher le Alt-tab alternatif (résolu)

[raymondcal]

Bonjour,
Le Alt-Tab par défaut de Gnome3 est une des pires inventions depuis la bombe A, c’est pour ça que j’utilise l’extension alternate-tab.
Depuis quelques temps, j’arrivais plus à la faire marcher, il semblerait qu’elle ne soit plus compatible avec Gnome-shell 3.2.
J’ai eu du mal, mais j’ai trouvé une solution pour la faire marcher, décrite ici :
https://bugzilla.gnome.org/show_bug.cgi?id=661281#c27

Si ça peut rendre service à quelqu’un…

[davidvs]

Un Projet Manhattan 2 alors ?

[xanataz]

Je te confirme que j'ai eu le même pb avec cette extension. Pour passer d'une fenêtre à l'autre, je préfère un clic de souris via "Bottom_Panel@rmy.pobox.com".

[Hellsing]

Pour tous ceux sous Gnome3, je vous conseille de vous rendre sur ce site :
https://extensions.gnome.org/
Ca permet de gérer, d'installer, désinstaller et essayer toutes les extensions disponibles pour Gnome3. Je suppose que Alternate-tab est aussi dessus et doit avoir des précisions sur le changement de version de gnome.

Enjoy.

[raymondcal]

Waouw, la vache !!! Ce site a même un bouton On/Off pour installer les extensions Gnome-shell directement depuis le navigateur !!! Et ça marche de suite !
Et une fois l’extension installée, y a un bouton pour la configurer, et qui ouvre gnome-shell-extension-prefs (une fenêtre dont je viens à l’instant de faire la connaissance et qui n’a pas de lanceur ni d’entrée dans les Paramètres système, si je ne me trompe…)
Splendide !!!