a$r a écritBonjour il faut installer gnome-tweak-tool. Ensuite dans advanced menu dans la rubrique gnome shell il suffit d'activer les extensions.
Et bah non... Dans Gnome Tweak Tool, il n'y a rien...
En plus, la barre de menus de l'application active n'est pas complète. J'ai la moitié du 1er onglet (avec écrit Fi dedans, soit le début de "Fichier") et puis plus rien.
Pareil pour changer un thème, c'est tout un bims, et je n'arrive à rien... 🙁
Je trouve un rien compliqué cet environnement, et pas fiable. C'est pas sensé être "User friendly"? :rolleyes:
EDIT: En revenant pour essayer de nouveau sous Gnome Shell, j'ai bien les extensions activées et activables avec Gnome Tweak Tool. Il fallait peut-être se déconnecter et revenir...
Bon, je suis tout de même sous 12.04 Alpha 2, il ne faut pas trop en demander non plus... 😉