Bagaimana cara mengubah ukuran font WinMerge?

Jendela "hapus huruf" untuk memuluskan font sepertinya tidak berfungsi: - /

Ketika Anda mengubah font seperti ini, Anda mungkin mendapatkan pesan bahwa jendela aktif tidak akan diperbarui. Resolusi: buka lagi. (Mengapa saya menyebutkan ini adalah bahwa jika Anda hanya menekan Ok pada pesan Anda tidak akan menerimanya lagi dan sehari kemudian Anda akan melupakannya. Dan google. Dan temukan komentar ini.)

Setiap kali saya mengatur WinMerge, saya perlu mencari pengaturan ini. Saya heran mengapa pengaturan font bukan bagian dari opsi WinMerge yang ditemukan di bawah "Edit" -> "Opsi".

... dan lagi: (((((((((

Itu bekerja. Tetapi jika Anda me-restart, pengaturannya hilang.

Ya, memang settingnya hilang, mungkin kita bisa tweek di registry Windows?

Mungkin Anda bisa menggunakan solusi Junior Mayhé dan menandainya sebagai jawaban yang benar.

Dia tidak dapat menyebabkan itu tidak berfungsi