Extension Coverflow Alt-Tab

Coverflow Alt-Tab 1.0

Coverflow Alt-Tab est une extension GNOME qui remplace le raccourci Alt-Tab par une représentation tridimensionnelle de type Cover Flow, en affichant les fenêtres des différentes applications, plutôt qu’une liste d’icônes.

Utilisation

Cette extension utilise les raccourcis clavier suivants (vous pouvez les modifier ou les désactiver depuis les paramètres de GNOME) :

  • Changer d’application (généralement Alt+Tab) : fait défiler toutes les fenêtres de l’espace de travail courant
  • Bascule parmi les différentes fenêtres d’une même application (généralement Ctrl-Tab) : fait défiler toutes les fenêtres de l’application courante, présentes sur tous les espaces de travail
  • Change les contrôles système (généralement Ctrl-Alt-Tab) : fait défiler toutes les fenêtres de tous les espaces de travail

Tous les raccourcis avec la touche Majuscule enfoncée, permettent de revenir en arrière.

  • Échap permet d’annuler
  • q permet de fermer la fenêtre sélectionnée
  • d permet de masquer toutes les fenêtres et d’afficher le bureau

Vous pouvez également utiliser les flèches du clavier ou la molette de la souris pour faire défiler les fenêtres.

Démonstration

Forcer la compatibilité d’une extension GNOME Shell

La plupart des extensions ne sont malheureusement plus compatibles…

À chaque nouvelle version de GNOME, c’est souvent l’hécatombe parmi les extensions. Que ce soit par manque de temps du développeur de l’extension, ou parce qu’il a fini par abandonner son projet, l’utilisateur se retrouve avec un certain nombre d’extensions désactivées.

Il faut savoir que pour chaque extension, son développeur doit indiquer avec quelles versions de GNOME elle est compatible. Alors, quand une nouvelle version de GNOME est disponible, s’il n’y a plus personne pour tester l’extension et la considérer comme valide, GNOME la désactivera. Et ce, même si l’extension fonctionne encore parfaitement.

Plusieurs choix s’offrent donc à l’utilisateur. Attendre que le développeur de l’extension trouve le temps de faire les tests et modifications nécessaires pour rendre son extension compatible. Trouver une autre extension équivalente; les extensions intéressantes mais abandonnées, étant généralement reprises par d’autres développeurs, sous un autre nom.

Ou, et c’est la solution qui nous intéresse ici, forcer la compatibilité. Mais avant toute chose, il faut rappeler que certaines extensions modifient des parties importantes de GNOME Shell, et qu’elles peuvent donc être source de plantages et autres problèmes, si elles n’ont réellement pas été prévues pour fonctionner sur votre version de GNOME.

Ceci étant dit, passons à la pratique. Deux solutions s’offrent à nous. La première, la plus simple, permet, d’un simple clique, de désactiver la vérification de compatibilité. Pour cela, il suffit de lancer dconf-editor, de vous rendre dans org.gnome.shell, puis d’activer la clé disable-extension-version-validation. Ou, si vous préférez la ligne de commande :

gsettings set org.gnome.shell disable-extension-version-validation true

Forcer la compatibilité des extensions dans dconf-editor

L’autre solution, si vous préférez attendre que les développeurs de chaque extension fassent le nécessaire, mais que vous avez néanmoins besoin d’une extension en particulier, vous pouvez modifier manuellement cette dernière.

Les extensions sont installées dans le répertoire de l’utilisateur :

~/.local/share/gnome-shell/extensions/…

Ou, éventuellement, dans /usr/share/gnome-shell/extensions, si vous les installez depuis les paquets de votre distribution.

Il vous suffit donc de vous rendre dans le répertoire de l’extension qui vous intéresse, d’éditer le fichier metadata.json qui s’y trouve, et d’ajouter le numéro de version du GNOME qui vous concerne, dans le bloc shell-version :

"shell-version": [
"3.10",
"3.12",
"3.14",
"3.16"
],

Dans l’exemple ci-dessus, nous avons ajouté une virgule à la fin de "3.14", suivi de "3.16" juste en dessous, pour rendre l’extension compatible avec GNOME 3.16.

Encore une fois, il ne s’agit que d’une compatibilité au niveau du numéro de version. Si le code de l’extension n’est réellement pas compatible avec votre version de GNOME, il ne pourra pas y avoir de miracle.

Une fois que c’est fait, vous pouvez relancer GNOME avec le raccourci clavier ALT-F2 puis r, ce qui aura pour conséquence de recharger le shell et toutes les extensions.