Le Garage hermétique

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

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

Fil des billets    Fil des commentaires

Apparence ou comportement

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é : Dynamic Top Bar. Cette extension rend le panneau principal transparent dès lors qu'aucune fenêtre n'est maximisée ; il redevient opaque (si votre thème prévoit ce panneau opaque) si une fenêtre est...

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 l'extension Status Area Horizontal Spacing, qui fait la même chose mais pour la zone de droite. L'extension sur le site Gnome...

Lire la suite


Extension 545 : Hide Top Bar

Masque le panneau principal, sauf dans le mode exposition. L'extension sur le site Gnome...

Lire la suite


UpUbuntuMoveTopPanelToTheBottomWithReflection.png

Extension : Move Top Panel To The Bottom With Reflection

Cette extension met le panneau principal en bas de l'écran plutôt qu'en haut. Pour installer cette extension, il faut : 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 Mettre ensuite à jour les paquets...

Lire la suite


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 : ajouter le dépôt de Upubuntu (l'ajout d'un dépôt comporte toujours un risque) par un : sudo...

Lire la suite


Extension351.png

Extension 351 : Icon Hider

Paradoxalement, cette extension ajoute un bouton au panneau principal permettant ... de masquer les divers autres boutons du panneau (accessibilité, clavier, volume, bluetooth, réseau, utilisateur, notifications). Cependant depuis la dernière version il est possible de masquer aussi le bouton de...

Lire la suite