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

32

¿Cómo puedo cambiar el tamaño de fuente de WinMerge y quizás el tipo de fuente?

¿Es posible?

Junior M
fuente

Respuestas:

38

Haga clic en Ver-> Seleccionar fuente!

ingrese la descripción de la imagen aquí

Junior M
fuente
El "caso claro" de Windows para suavizar las fuentes no parece funcionar: - /
Junior M
1
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...)
LosManos
55
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".
Andreas
... y de nuevo: (((((((((((
Andreas
5

¿Intentaste Ctrl+ Mouse Wheel?

Mehper C. Palavuzlar
fuente
55
Eso funciona. Pero si reinicia, la configuración desaparecerá.
timbooo
Sí, de hecho, la configuración se pierde, ¿tal vez podamos modificarla en el registro de Windows?
Junior M
1
Tal vez podría usar la solución @Junior Mayhé y marcarla como la respuesta correcta.
QueueHammer
No puede hacer que no funcione