Changer la taille de l'icône dans Gnome 3
Comment peut-on changer la taille d'icône par défaut pour les icônes de la barre d'outils et autres?
Voir ce blog:
Malheureusement, ces modifications à l'échelle du système risquent de disparaître après la prochaine mise à jour ... Pour les modifications par utilisateur, reportez-vous à cet article de blog:
(Il s’agit d’Arch Linux, mais je pense que c’est applicable)
Installez l'extension user-theme pour gnome-Shell, puis copiez les thèmes dans vos dossiers personnels tels qu'ils sont écrits, modifiez-les à votre guise, puis choisissez votre nouveau thème modifié par l'utilisateur dans gnome-Tweak-tool.