Existe-t-il un moyen d'augmenter la taille de police par défaut pour les applications Java GUI?

12

J'utilise l'outil Java personnalisé de quelqu'un d'autre ( non, je n'ai pas la source ) pour effectuer des annotations de texte pour un projet de recherche.

Le texte de l'application est extrêmement petit.

Pour la plupart des applications Windows, la modification des paramètres de taille de police système dans le panneau de configuration modifie également la taille de police dans cette application.

Cependant, après avoir augmenté la taille du texte par défaut (sous Windows 7), le texte de cette application Java reste atrocement petit.

windows java fonts

— skeryl
source

Il s'agit d'un problème avec les écrans haute résolution. Des programmes comme eclipse, blender et mendeley sont difficiles à utiliser (tous avec des interfaces graphiques Java). C'est aussi un problème avec Windows 8. J'ajoute une prime.

— Juha

correction au précédent: blender n'est en fait pas java ... bien qu'il ait un problème similaire, la mise à l'échelle (des polices) n'est pas héritée du système d'exploitation

— Juha

Si l'application utilise Swing, elle doit hériter de paramètres de police plus importants. Quoi qu'il en soit, ce serait formidable de savoir (ou du moins de deviner) quel framework GUI utilise l'application en question. Pouvez-vous publier la capture d'écran?

— Alexey Ivanov

4

Pour ce que ça vaut, j'ai vu des commutateurs de ligne de commande qui se rapportent à des packages spécifiques.

Balançoire

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

Plastique

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

— harrymc
source

Comment définir ces paramètres? Dois-je exécuter l'application d'une manière différente? Que faire si je ne sais pas si l'application est écrite en Swing? Que faire si je ne sais pas si la demande est écrite en plastique?

— thanos.a

@ thanos.a: Ce sont des questions distinctes que vous pourriez poser dans un nouveau message.

— harrymc

3

Sous Windows 10, cela pourrait être facilement fait:

sélectionnez jawaw.exe (ou jawaws.exe pour les fichiers jnlp), il se trouve généralement sous c: \ Program Files (x86) \ Java \ jre1.8.0_171 \ bin \
Cliquez avec le bouton droit et sélectionnez Propriétés.
Cliquez sur l'onglet Compatibilité. Sous "Paramètres", cochez l'option Remplacer le comportement de mise à l'échelle à DPI élevé.
Dans le menu déroulant "Mise à l'échelle effectuée par", sélectionnez Système (amélioré).

Vous devez répéter cette opération après les mises à jour ou créer un raccourci. (source: windowscentral.com)

— houblonné
source