taille de police de caractère DT 5.4.1

[flyingdd]

Bonjour,
j'ai installé la dernière version de DT. Je constate que la taille de police de caractère a grossi. Or je ne trouve pas au niveau des paramètres le moyen de la baisser puisque le paramètre apparait en lecture seule. Comment faire pour revenir à la taille de police DT5.2.1 pour économiser de la place à l'écran pour les affichages latéraux en privilégiant l'affichage central? Je souhaite aussi modifier la taille de la police dans les menus latéraux de la chambre noire.
A quel paramètre css ça correspond?


Merci d'avance.

[manu]

Bonjour,

La taille de la police dans les préférences est normalement modifiable. Il faudrait comprendre pourquoi elle ne l'est pas. C'est bien dt 5.4 (voire 5.4.1 qui vient de sortir) sur une plateforme Windows (10 ? 11?)

[flyingdd]

Merci pour le message. oui c'est bien la DT 5.4.1 sous windows 11. Comme le montre la copie d'écran le paramètre est en lecture seule. Je peux modifier les autres

[vipi]

Il faut simplement  décocher "Utilisation de la police système" pour avoir accès au champs "Taille de la police en points"