Plop les bovins.
Au cas où cette barre vous chagrine également, vous pouvez installer une petite extension « Autohide Top Bar », qui va vous permettre de « masquer / afficher » automatiquement la vilaine bestiole.
sudo add-apt-repository ppa:webupd8team/gnome3
sudo apt-get update && sudo apt-get install gnome-shell-extensions-autohidetopbar
Une fois que vous avez installez l’extension, redémarrez Gnome Shell et utilisez Gnome Tweak Tool pour activer l’extension. Vous pourrez dès lors double-cliquer sur la barre pour activer ou désactiver le mode auto-hide.
Si vous rencontrez des problèmes ou que la barre ne se masque pas aussi vite que vous le souhaitez, éditez le fichier suivant et changez la valeur « TIME_DELTA » :
gksu gedit /usr/share/gnome-shell/extensions/autohidetopbar2@werewolves.us/extension.js
Amusez vous bien.
Commentaires récents