Ubuntu Linux: fixed poorly rendered font (issue #105)

This commit is contained in:
Karl Tauber
2020-05-21 17:11:58 +02:00
parent ce503cedc3
commit bc6cb492f1
3 changed files with 11 additions and 1 deletions

View File

@@ -74,6 +74,11 @@ class LinuxFontPolicy
family = family.isEmpty() ? word : (family + ' ' + word);
}
// Ubuntu font is rendered poorly (except if running in JetBrains VM)
// --> use default Java font
if( family.startsWith( "Ubuntu" ) && !SystemInfo.IS_JETBRAINS_JVM )
family = "sans";
// scale font size
double dsize = size * getGnomeFontScale();
size = (int) (dsize + 0.5);