Comment changer la taille de la police WinMerge?

32

Comment puis-je changer la taille de la police WinMerge et peut-être le type de police?

C'est possible?

fonts  winmerge 
— Junior M
source

Réponses:

38

Cliquez sur Affichage-> Sélectionner la police!

entrez la description de l'image ici

— Junior M
source
Windows « cas clair » pour lisser les polices ne semble pas fonctionner: - /
— Junior M
1
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.)
— LosManos
5
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".
— Andreas
... et encore: ((((((((((
— Andreas
5

Avez-vous essayé Ctrl+ Mouse Wheel?

— Mehper C. Palavuzlar
source
5
Ça marche. Mais si vous redémarrez, le paramètre a disparu.
— timbooo
Oui, en effet, le paramètre est perdu, peut-être pouvons-nous le modifier sur le registre Windows?
— Junior M
1
Vous pourriez peut-être utiliser la solution @Junior Mayhé et la marquer comme la bonne réponse.
— QueueHammer
Il ne peut pas faire en sorte que cela ne fonctionne pas
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.