benoithye wrote:Salut,
Concernant la taille anormale des icônes, est-ce qu'une modification du fichier css arrangerait le problème ?
$ grep -n .icon-grid /usr/share/gnome-shell/theme/gnome-shell.css
907:.icon-grid {
913:.icon-grid .overview-icon {
C'est le chemin du fichier à modifier, la propriété css à modifier et la ligne où elle se trouve. Ensuite recharger le thème : Alt+F2, taper «rt» puis entrée...
C'est plus une astuce qu'une solution, cependant... en attendant la résolution du «bug», happy hacking.
Bonjour benoithye,
Merci pour ton aide. En fait, avant de poster sur ce bug,
- j'ai réinitialisé Gnome (en renommant les fichier de personnalisation en "old")
- j'ai essayé les modifs du fichier gnome-shell.css (je souligne que les paramètres sont totalement normaux dans le fichier)
Mais les deux manipulations se sont avérées sans aucun effet malheureusement.
Pour aller plus loin et pour info : à la recharge du thème, les icônes apparaissent en taille « normale » pendant un quart de seconde (et c'est ainsi à chaque redémarrage de la machine 😉 )
Wait & see ! 🙂