Bonjour,

Avec la version 3.2 de Gnome, j'utilisais l'extension "Auto Hide Top Panel" pour masquer automatiquement cette barre du Gnome Shell. Or, depuis la version 3.4, le plugin n'est plus compatible.
Connaissez-vous une autre solution pour faire cela?

Merci.