//
Vous lisez ...
Ubuntrucs

Masquer le Top Panel

Bonsoir,

Il existe une extension Gnome-shell pour masquer automatiquement le Top Panel ou tableau de bord supérieur de l’écran. La référence des extensions est ici, chez WebUpd8.

Pour installer l’extension  » Auto Hide Top Panel  » tapez dans un terminal:

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

Activez l’extension dans Gnome Tweak Tools.

Pour activer désactiver ce mode il suffit de double cliquer sur ce panel.

SI le double-clic ne fonctionne pas, éditez le fichier de configuration par cette commande:

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

Passez la valeur, const TIME_DELTA à 2000

Une petite vidéo explicative:

Sources: WebUpd8

Siap

Discussion

Pas encore de commentaire.

Laisser un commentaire

Entrez vos coordonnées ci-dessous ou cliquez sur une icône pour vous connecter:

Logo WordPress.com

Vous commentez à l'aide de votre compte WordPress.com. Déconnexion / Changer )

Image Twitter

Vous commentez à l'aide de votre compte Twitter. Déconnexion / Changer )

Photo Facebook

Vous commentez à l'aide de votre compte Facebook. Déconnexion / Changer )

Photo Google+

Vous commentez à l'aide de votre compte Google+. Déconnexion / Changer )

Connexion à %s

%d blogueurs aiment cette page :