Cacher le top panel de Gnome Shell

Voici une extension Gnome Shell qui permet de cacher automatiquement le panel situé en haut de l’écran.

é

Installation de l’extension

Le dépot PPA gnome3 est la référence pour les extensions Gnome Shell sur Ubuntu. D’ailleurs de nombreuses extensions viennent d’être mise à jour, dont les Mint Gnome Shell Extension suite à la sortie de la RC de Mint 12 Lisa.

sudo add-apt-repository ppa:webupd8team/gnome3
sudo apt-get update
sudo apt-get upgrade
sudo apt-get install gnome-shell-extensions-autohidetopbar

Utilisation de l’extension

Une fois installée et activée via Gnome Tweak Tools, pour activer désactiver ce mode il suffit de double cliquer sur ce panel. Si ce double clique ne fonctionne pas il faut aller éditer le fichier suivant :

gksu gedit /usr/share/gnome-shell/extensions/autohidetopbar2@werewolves.us/extension.js

et augmenter la valeur const TIME_DELTA

Conclusion

Je trouve cette extension géniale puisqu’elle fait gagner un peu de place à l’écran.

Source : webupd8.org