Comment puis-je modifier la taille de la police Winmerge et peut-être le type de polices?
Est-il possible?
As-tu essayé Ctrl + Mouse Wheel?