Le Garage hermétique

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

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

Extension 19 : User Themes

Permet de charger les thèmes d'interface directement depuis le répertoire de l'utilisateur (depuis ~/.themes) et ils sont alors accessibles dans Gnome Tweak Tools, sinon seuls les thèmes installés depuis un dépôt sont disponibles.

Cette extension existe en plusieurs versions et vous devez absolument installer la version qui correspond à votre version de Gnome, sinon au mieux vous ne pourrez pas changer le thème de l'interface, au pire Gnome Tweak Tools ne se lancera pas.

La version du site Gnome ne fonctionne que pour Gnome 3.3 (à ce jour). Celle du dépôt Webupd8 fonctionne pour Gnome 3.4 et contient aussi la version 3.2.

L'extension sur le site Gnome|L'extension dans le dépôt Webupd8

Les commentaires sont fermés


aucune annexe



À voir également

Extension684.png

Extension 684 : Transparent Windows

Rend toutes les fenêtres transparentes avec un bouton dans le panneau principal permettant de régler...

Lire la suite

Extension683b.png

Extension 683 : Imgur Screenshot Uploader

Cette extension ajoute un bouton permettant de capturer une partie de l'écran et d'uploader...

Lire la suite