Fil des billets
Fil des commentaires
Mot-clé - thème
Extension 594 : Elegance Colors Preferences
04 février 2013, 19:22
Le thème Elegance Colors est un thème pour l'interface Gnome Shell dont les couleurs s'adaptent à divers éléments, au choix de l'utilisateur (comme le fond d'écran, comme Unity, par exemple). Ces choix sont réglables par un script qui lance une interface pour les différents réglages de ce thème,...
Bientôt en ligne : iLoveGNOME
03 février 2013, 13:35
Worldofgnome l'avait annoncé il y a quelques mois et ils sont en voie de finaliser leur nouveau projet pour Gnome : un site qui fonctionnera à la manière du site des extensions de Gnome mais cette fois pour les thèmes (de l'interface, des fenêtres) et les icônes et permettra, outre de naviguer...
Un créateur de thèmes : Malys
06 octobre 2012, 19:39
Le site World of Gnome, que j'ai découvert grâce à La Vache Libre, deux sites que je vous recommande, publie un article sur un créateur de thèmes, dont certains pour Gnome Shell que je ne connaissais pas : Malys. Et ce tchèque a pas mal de talents. Vous trouverez de-ci delà ses diverses...
Thèmes d'icônes : Faenza et Faience
05 juillet 2012, 20:57
Faenza Ce thème d'icônes est l'un des plus populaires sous Linux. Sa caractéristique est de fournir des icônes carrées ce qui leur permet d'être joliment intégrées dans les divers docks, lanceurs, etc. Le thème inclut bien sûr des miniatures qui s'intègrent dans les zones de notification ou sur les...
Le dépôt Webupd8 des thèmes pour Gnome Shell
02 juillet 2012, 10:42
Le site Webupd8 a regroupé dans un même dépôt des thèmes pour l'interface Gnome Shell, pour les fenêtres, les décorations de fenêtres et pour les icônes qui n'avaient pas leur propre dépôt, ce qui fait que vous avez sous la main pas mal de propositions et qui sont parmi les plus populaires. Ajouter...
Extension 355 : Status Area Horizontal Spacing
01 juillet 2012, 00:14
Réduit l'espace entre les icônes de la zone de notification (du haut). Par défaut il est de 12px et avec cette extension il devient de 6px. Il est possible de changer ce paramètre en éditant extension.js de l'extension (présent dans le répertoire de l'extension lui-même situé dans...
Extension 239 : Shell Restart User Menu Entry
28 juin 2012, 22:57
Ajoute un choix 'redémarrer l'interface' au menu utilisateur (l'équivalent du ALT+F2, r). L'extension sur le site Gnome...
Extension 168 : Theme and Shell Reloading
26 juin 2012, 07:06
Ajoute un bouton au panneau principal pour recharger l'interface (l'équivalent du ALT+F2, r). L'extension sur le site Gnome...
Application : Gnome Tweak Tool
24 juin 2012, 23:08
Gnome Tweak Tool, parfois appelé 'Advanced Settings' dans certaines distributions, est la première tentative pour centraliser les modifications de l'interface de Gnome Shell. S'il ne le fait pas très bien pour les extensions, qui nécessiteraient une meilleure organisation (mais il date de...
Derniers commentaires