Comment modifier la taille par défaut des icônes de la barre d'outils et autres ?
Réponse
Trop de publicités?
michelemarcon
Points
669
Voir cet article de blog :
Malheureusement, ces changements à l'échelle du système sont susceptibles de disparaître après la prochaine mise à jour... Pour les changements par utilisateur, reportez-vous à cet article de blog :
(C'est à propos d'Arch Linux, mais je pense que c'est applicable)
Installer user-theme extension pour gnome-shell Ensuite, copiez les thèmes dans vos dossiers personnels comme indiqué, modifiez-les comme vous le souhaitez et choisissez votre nouveau thème modifié par l'utilisateur dans la fenêtre gnome-tweak-tool .
