Как изменить размер шрифта WinMerge?

Windows "чистый случай" для сглаживания шрифтов, похоже, не работает: - /

При таком изменении шрифта вы можете получить сообщение о том, что активное окно не будет обновлено. Решение: откройте его снова. (Почему я упоминаю, что если вы просто нажмете Ok на сообщении, вы не получите его снова, а через день вы

Каждый раз, когда я настраиваю WinMerge, мне нужно искать этот параметр. Интересно, почему настройки шрифта не являются частью параметров WinMerge, доступных в «Редактировать» -> «Параметры».

... и снова: (((((((((

Это работает. Но если перезапустить, настройка пропала.

Да, действительно, настройки потеряны, может быть, мы можем настроить их в реестре Windows?

Возможно, вы могли бы использовать решение @Junior Mayhé и отметить его как правильный ответ.

Он не может быть причиной того, что это не работает