¿Cómo cambiar el tamaño de fuente de WinMerge?

El "caso claro" de Windows para suavizar las fuentes no parece funcionar: - /

Cuando cambia la fuente de esta manera, puede recibir un mensaje de que la ventana activa no se actualizará. Resolución: ábralo de nuevo. (¿Por qué menciono esto es que si simplemente pulse OK en el mensaje que no lo recibirá de nuevo y un día después se le ha olvidado y Google, y encontrar este comentario...)

Cada vez que configuro WinMerge necesito buscar esta configuración. Me pregunto por qué la configuración de la fuente no forma parte de las opciones de WinMerge que se encuentran en "Editar" -> "Opciones".

... y de nuevo: (((((((((((

Eso funciona. Pero si reinicia, la configuración desaparecerá.

Sí, de hecho, la configuración se pierde, ¿tal vez podamos modificarla en el registro de Windows?

Tal vez podría usar la solución @Junior Mayhé y marcarla como la respuesta correcta.

No puede hacer que no funcione