Comment changer la taille de la police WinMerge?

Windows « cas clair » pour lisser les polices ne semble pas fonctionner: - /

Lorsque vous changez la police comme celle-ci, vous pouvez recevoir un message indiquant que la fenêtre active ne sera pas mise à jour. Résolution: rouvrez-le. (Pourquoi je mentionne cela, c'est que si vous appuyez simplement sur OK sur le message, vous ne le recevrez plus et un jour plus tard, vous l'avez oublié. Et Google. Et trouvez ce commentaire.)

Chaque fois que je configure WinMerge, je dois rechercher ce paramètre. Je me demande pourquoi les paramètres de police ne font pas partie des options WinMerge trouvées sous "Edition" -> "Options".

... et encore: ((((((((((

Ça marche. Mais si vous redémarrez, le paramètre a disparu.

Oui, en effet, le paramètre est perdu, peut-être pouvons-nous le modifier sur le registre Windows?

Vous pourriez peut-être utiliser la solution @Junior Mayhé et la marquer comme la bonne réponse.

Il ne peut pas faire en sorte que cela ne fonctionne pas