Linux: fixed wrong font size if GDK_SCALE environment variable is set or if running on JetBrains Runtime (issue #69)

This commit is contained in:
Karl Tauber
2020-03-26 17:20:09 +01:00
parent 1d9c8ca65e
commit 225b722b1b

View File

@@ -103,7 +103,7 @@ class LinuxFontPolicy
private static double getGnomeFontScale() {
// do not scale font here if JRE scales
if( isSystemScaling() )
return 1;
return 96. / 72.;
// see class com.sun.java.swing.plaf.gtk.PangoFonts background information