Fil des billets
Fil des commentaires
Apparence ou comportement
Extension 885 : Dynamic Top Bar
25 octobre 2014, 22:31
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...
Extension 647 : Icon Area Horizontal Spacing
12 avril 2013, 17:05
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...
Extension 545 : Hide Top Bar
08 décembre 2012, 20:35
Masque le panneau principal, sauf dans le mode exposition. L'extension sur le site Gnome...
Extension : Move Top Panel To The Bottom With Reflection
31 octobre 2012, 16:46
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...
Extension : Auto Hide Top Panel
31 octobre 2012, 16:34
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...
Extension 351 : Icon Hider
30 juin 2012, 15:23
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...
Derniers commentaires