Mes extensions indispensables pour GNOME Shell

J'utilise depuis plusieurs années l'environnement de bureau GNOME Shell (sur Ubuntu) et j'ai trouvé de nombreuses extensions qui améliorent l'expérience.

Menu de navigation :

Lors de la navigation avec Alt+Tab :

Autres :

Ajouter un commentaire

Les commentaires peuvent être formatés en utilisant une syntaxe wiki simplifiée.

Fil des commentaires de ce billet