Manjaro Gnome/KDE: migliorare l'aspetto dei font delle app Java

Il problema è noto. Le applicazioni Java usano un font davvero poco guardabile. La modifica è nota ed è facilmente reperibile in rete (vedi Sitografia). Come si può vedere con l'applicazione Java dell'IDE di Arduino, i font appaiono in questo modo:

Dopo, con la modifica che verrà descritta, i font ereditano lo stile delle applicazioni GTK di sistema, sicuramente molto più guardabile:

Come fare la modifica

Da terminale

 

sudo nano /etc/profile.d/90-java_ops.sh          


copia e incollare il seguente testo:

export _JAVA_OPTIONS="-Dawt.useSystemAAFontSettings=on -Dswing.aatext=true 

-Dswing.defaultlaf=com.sun.java.swing.plaf.gtk.GTKLookAndFeel 

-Dswing.crossplatformlaf=com.sun.java.swing.plaf.gtk.GTKLookAndFeel ${_JAVA_OPTIONS}"

salvare il file, quindi riavviare il sistema

Sitografia: https://wiki.manjaro.org/index.php/Set_all_Java_apps_to_use_GTK%2B_font_%26_theme_settings