C'è un modo per aumentare la dimensione del carattere predefinita per le applicazioni della GUI Java?

12

Sto usando lo strumento Java personalizzato di qualcun altro ( no, non ho la fonte ) per eseguire l'annotazione di testo per un progetto di ricerca.

Il testo all'interno dell'applicazione è dolorosamente piccolo.

Per la maggior parte delle applicazioni Windows, la modifica delle impostazioni della dimensione del carattere di sistema nel pannello di controllo modificherà anche la dimensione del carattere in tale applicazione.

Tuttavia, dopo aver aumentato la dimensione del testo predefinita (su Windows 7), il testo in questa applicazione Java rimane estremamente piccolo.

windows java fonts

— skeryl
fonte

Questo è un problema con display ad alta risoluzione. Programmi come eclipse, blender e mendeley sono difficili da usare (tutti con le GUI java). Questo è un problema anche con Windows 8. Sto aggiungendo una taglia.

— Juha,

correzione al precedente: il frullatore non è in realtà java ... anche se ha un problema simile, il ridimensionamento (font) non è ereditato dal sistema operativo

— Juha

Se l'app utilizza Swing, dovrebbe ereditare impostazioni di carattere più grandi. Sarebbe comunque bello sapere (o almeno fare un'ipotesi) quale framework GUI utilizza l'app in questione. Puoi pubblicare lo screenshot?

— Alexey Ivanov,

4

Per quello che vale, ho visto opzioni della riga di comando che si riferiscono a pacchetti specifici.

Swing

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

Plastica

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

— harrymc
fonte

Come posso impostare questi parametri? Devo eseguire l'applicazione in modo diverso? Cosa succede se non so se l'applicazione è scritta in Swing? Cosa succede se non so se l'applicazione è scritta in plastica?

— thanos.a

@ thanos.a: queste sono domande separate che potresti porre in un nuovo post.

— harrymc,

3

Sotto Windows 10, questo potrebbe essere facilmente fatto:

selezionare jawaw.exe (o jawaws.exe per i file jnlp), in genere si trova in c: \ Programmi (x86) \ Java \ jre1.8.0_171 \ bin \
Fare clic con il tasto destro e selezionare Proprietà.
Fai clic sulla scheda Compatibilità. In "Impostazioni", seleziona l'opzione Sostituisci comportamento di ridimensionamento DPI elevato.
Nel menu a discesa "Ridimensionamento eseguito da", selezionare Sistema (avanzato).

Devi ripetere questo dopo gli aggiornamenti o creare un collegamento. (fonte: windowscentral.com)

— hoppy
fonte