avec Tdb V52.2.1 sous Win_10 Creators Update, il m'est impossible de changer la taille de la police de caractères.
Et c'est la plus petite qui est mise par défaut ! J'ai redémarré Tdb, puis le PC, rien n'y fait...

Toute aide serait la bienvenue.
Merci d'avance,
Lubin