Bonjour,

Suite à une migration de F17 à F18, j'ai un souci avec gnome shell.

Mon dash ( dock avec mes icones favorites à droite de l'écran) est tout petit. J'ai cherché ds plusieurs forums, modifier certains valeurs , tjs pareil.

Mes icones dans application ou Activités sont de tailles "normales". Mais les icones de mon dock restent ttes petites..

si vous avez une solution

merci
Salut,

Ça m'est arrivé hier suite à une mise à jour, en changeant la résolution d'affichage ça a rétabli la taille normale du desk, qui s'est maintenue en revenant à la résolution initiale. Me demande pas pourquoi, autant le problème que la solution me sont venus par surprise.
merci, j'ai essayé ta solution.. tjs pareil.. dash minuscule..