gueulderack 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.
Fedonono Je ne m'en sers pas personnellement mais je suis sûr que ça marche. https://extensions.gnome.org/extension/208/panel-settings/
