Le Garage hermétique

Ce site est essentiellement consacré à Gnome Shell mais pas que.

Aller au contenu | Aller au menu | Aller à la recherche

Extension : Auto Hide Top Panel

Cette extension met le panneau principal en mode masquage automatique, le panneau n'étant visible que lorsque le pointeur survole le haut de l'écran.

Pour installer cette extension, il faut :

  1. ajouter le dépôt de Upubuntu (l'ajout d'un dépôt comporte toujours un risque) par un : sudo add-apt-repository ppa:upubuntu-com/gnome3.6
  2. Mettre ensuite à jour les paquets disponibles par un : sudo apt-get update
  3. Installer l'extension par un : sudo apt-get install autohide-extension
  4. Enfin activer l'extension par Gnome Tweak Tool ou en passant par le site Gnome (même si elle ne vient pas du site, l'extension apparaît alors puisqu'installée sur votre système).

L'extension dans le dépôt UpUbuntu

Les commentaires sont fermés


aucune annexe



À voir également

Extension885a

Extension 885 : Dynamic Top Bar

Il y a bien longtemps que je n'ai pas mis à jour ce site mais une chouette extension m'a motivé :...

Lire la suite

Extension647.png

Extension 647 : Icon Area Horizontal Spacing

Réduit l'espace entre les boutons dans la zone de gauche du panneau principal, soit l'équivalent de...

Lire la suite