Voici un article que j’aurais dû écrire il y a longtemps (n’utilisant plus Gnome Shell) mais malgré tous si un jour Gnome redevient intéressant, il peut toujours être bon d’avoir l’information. Le thème de base livré avec Gnome 3 présente un menu d’application avec des icônes incroyablement grosses à mon goût.
Il est parfaitement possible de diminuer cette taille en modifiant les valeurs .icon-grid et .all-app .icon-grid dans le fichier /usr/share/gnome-shell/theme/gnome-shell.css.
On peut trouver un exemple de modification et bien d’autres astuces élémentaires sur Gnome 3 sur l’article dédié de Tux-planet.
Bien que l’ergonomie de gnome-Shell puisse faire débat, ce genre de personnalisation du bureau via CSS fait qu’il reste tout a fait intéressant. Il reste à ce jour à mon goût un des bureaux linux les plus fluides, même pour un fervent défenseur de cinnamon !
Bonjour maintenant sur gnome 3.18 la manipulation que tu propose ne fonctionne plus, il n’y a plus de gnome-shell.css mais un gnome-classic.css dedans on trouve bien icon-grid mais quand on fait des changement dans » .icon-grid .overview-icon { icon-size: 96px; } » ce qui me semble être la comme valeur à modifier 96 par disont 40 … :p
On y trouve plus .all-app dedans
le terminal nous sort:
« (gedit:2979): Gtk-WARNING **: Calling Inhibit failed: GDBus.Error:org.freedesktop.DBus.Error.ServiceUnknown: The name org.gnome.SessionManager was not provided by any .service files
»
et quand on sauvegarde :
« ** (gedit:3009): WARNING **: Set document metadata failed: Setting attribute metadata::gedit-encoding not supported »
Puis rien à changer dans la taille des icons du shell. peut tu m’aider ?
Bonjour Gribouille,
Malheureusement je n’utilise plus Gnome depuis un moment lui préférant largement Cinnamon. Je ne saurai donc pas te guider dans la résolution de ce problème (qui selon moi devrait voir une simple option de configuration dans un menu)
Je suis preneur de la solution cependant si tu arrives à mettre la main dessus.
Bonjour
Je souhaite augmenter la taille des applications du menu LinuxMint Cinnamon.
Quelle est la bonne manipilation.
Merci pour la réponse.