[gnome] Taille des polices (juste posté)

[takanuva]

Bonjour,
Petit problème pas très genant mais ennuyeux car assez frequent.
À chaque ouverture de la session gnome les polices sont en taille 10 alors que je les ai configuré pour qu'elles soient en taille 9. Et chose étrange, il suffit que j'ouvre les preferences(clic droit sur le bureau > changer le fond d'écran) pour que les polices passent en 9!
Est-ce que vous avez une idée d'où cela peut provenir?
merci d'avance

[farvardin]

j'ai eu cela également, mais je n'ai pas trouvé de solutionn, cela me le faisait également pour des thèmes, qui ne s'initialisaient que lorsque je lançais l'outil de configuration des préférences, mais c'était dans une machine virtuelle.

Encore plus étrange, j'avais réussi à revenir à mon thème souhaité + taille des polices en ne lançant pas l'outil de préférences comme à chaque fois, et en redémarrant simplement...

[jobijoba]

Bon ben même problème pour moi, sauf que c'est l'inverse. Police réglée en taille 8, au démarrage passe tout seul à 7 ou 6 et il suffit de faire Système>Préférences>Apparence et ça revient à 8.
Plusieurs redémarrage et mise à jour plus tard, toujours pareil

D'où ça vient ?

[takanuva]

Au moin je ne suis pas seul...