Есть ли способ увеличить размер шрифта по умолчанию для приложений Java GUI?

12

Я использую чужой пользовательский инструмент Java ( нет, у меня нет источника ) для выполнения текстовой аннотации для исследовательского проекта.

Текст в приложении мучительно маленький.

Для большинства приложений Windows изменение настроек размера шрифта системы на панели управления также приведет к изменению размера шрифта в этом приложении.

Однако после увеличения размера текста по умолчанию (в Windows 7) текст в этом приложении Java остается мучительно маленьким.

windows java fonts skeryl
источник

Это проблема с дисплеями с высоким разрешением. Такие программы, как eclipse, blender и mendeley, сложны в использовании (все с графическим интерфейсом Java). Это проблема также с Windows 8. Я добавляю награду.

Юха

исправление к предыдущему: blender на самом деле не Java ... хотя у него есть похожая проблема, масштабирование (шрифт) не наследуется от операционной системы

Juha

Если приложение использует Swing, оно должно наследовать более крупные настройки шрифта. В любом случае было бы здорово узнать (или, по крайней мере, сделать предположение), какая платформа GUI использует данное приложение. Можете выложить скриншот?

Алексей Иванов

4

Для чего это стоит, я видел ключи командной строки, которые относятся к конкретным пакетам.

свинг

java -Dswing.aatext=true -Dswing.plaf.metal.controlFont=Tahoma -Dswing.plaf.metal.userFont=Tahoma

пластик

java -DWindows.controlFont=Tahoma-plain-11 -DWindows.menuFont=Tahoma-plain-12 -DPlastic.controlFont=Tahoma-plain-11 -DPlastic.menuFont=Tahoma-bold-11

harrymc
источник

Как мне установить эти параметры? Нужно ли запускать приложение другим способом? Что если я не знаю, написано ли приложение на Swing? Что если я не знаю, написано ли приложение на пластике?

thanos.a

@ thanos.a: это отдельные вопросы, которые вы можете задать в новом сообщении.

Harrymc

3

Под Windows 10 это можно легко сделать:

выберите jawaw.exe (или jawaws.exe для файлов jnlp), обычно он находится в каталоге c: \ Program Files (x86) \ Java \ jre1.8.0_171 \ bin \
Щелкните правой кнопкой мыши и выберите «Свойства».
Перейдите на вкладку «Совместимость». В разделе «Настройки» установите флажок «Переопределить поведение масштабирования с высоким DPI».
В раскрывающемся меню «Масштабирование выполнено» выберите System (Enhanced).

Вы должны повторить это после обновления или создать ярлык. (Источник: windowscentral.com)

хмелевой
источник

Есть ли способ увеличить размер шрифта по умолчанию для приложений Java GUI?

Ответы: