Come modificare la dimensione del carattere di WinMerge?

Come posso modificare la dimensione del carattere WinMerge e forse il tipo di carattere?

È possibile?

fonts winmerge

— Junior M
fonte

Risposte:

Fai clic su Visualizza-> Seleziona carattere!

inserisci qui la descrizione dell'immagine

— Junior M
fonte

Il "caso chiaro" di Windows per smussare i caratteri non sembra funzionare: - /

— Junior M

Quando cambi il carattere in questo modo potresti ricevere un messaggio che la finestra attiva non verrà aggiornata. Risoluzione: riaprirlo. (Perché menziono questo è che se premi semplicemente Ok sul messaggio non lo riceverai più e il giorno dopo lo avrai dimenticato. E google. E trova questo commento.)

— LosManos

Ogni volta che configuro WinMerge, devo cercare questa impostazione. Mi chiedo perché le impostazioni del carattere non facciano parte delle opzioni di WinMerge trovate in "Modifica" -> "Opzioni".

— Andreas,

... e ancora: (((((((((

— Andreas

Hai provato Ctrl+ Mouse Wheel?

— Mehper C. Palavuzlar
fonte

Che funzioni. Ma se si riavvia, l'impostazione è scomparsa.

— timbooo,

Sì, davvero l'impostazione è persa, forse possiamo tweek sul registro di Windows?

— Junior M

Forse potresti usare la soluzione @Junior Mayhé e contrassegnarla come la risposta corretta.

— QueueHammer,

Non può causare che non funzioni