¿Hay alguna manera de aumentar el tamaño de fuente predeterminado para las aplicaciones Java GUI?

12

Estoy usando la herramienta Java personalizada de otra persona ( no, no tengo la fuente ) para realizar anotaciones de texto para un proyecto de investigación.

El texto dentro de la aplicación es dolorosamente pequeño.

Para la mayoría de las aplicaciones de Windows, cambiar la configuración del tamaño de fuente del sistema en el panel de control también cambiará el tamaño de fuente en esa aplicación.

Sin embargo, después de aumentar el tamaño de texto predeterminado (en Windows 7), el texto en esta aplicación Java sigue siendo insoportablemente pequeño.

windows java fonts

— skeryl
fuente

Este es un problema con pantallas de alta resolución. Programas como eclipse, blender y mendeley son difíciles de usar (todos con java GUI). Este es un problema también con Windows 8. Estoy agregando una recompensa.

— Juha

corrección a la anterior: blender en realidad no es Java ... aunque tiene un problema similar, el escalado (fuente) no se hereda del sistema operativo

— Juha

Si la aplicación usa Swing, debería heredar configuraciones de fuente más grandes. De todos modos, sería genial saber (o al menos adivinar) qué marco GUI usa la aplicación en cuestión. ¿Puedes publicar la captura de pantalla?

— Alexey Ivanov

4

Por lo que vale, he visto interruptores de línea de comandos que se relacionan con paquetes específicos.

Columpio

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

El plastico

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

— harrymc
fuente

¿Cómo configuro estos parámetros? ¿Debo ejecutar la aplicación de una manera diferente? ¿Qué sucede si no sé si la aplicación está escrita en Swing? ¿Qué pasa si no sé si la aplicación está escrita en plástico?

— thanos.a

@ thanos.a: Estas son preguntas separadas que podrías publicar en una nueva publicación.

— harrymc

3

En Windows 10, esto podría hacerse fácilmente:

seleccione jawaw.exe (o jawaws.exe para archivos jnlp), generalmente está en c: \ Archivos de programa (x86) \ Java \ jre1.8.0_171 \ bin \
Haga clic derecho y seleccione Propiedades.
Haz clic en la pestaña Compatibilidad. En "Configuración", marque la opción Anular comportamiento de escalado de DPI alto.
En el menú desplegable "Escalado realizado por", seleccione Sistema (Mejorado).

Debe repetir esto después de las actualizaciones o crear un acceso directo. (fuente: windowscentral.com)

— lupulado
fuente