diff --git a/src/dorkbox/util/jna/linux/GtkTheme.java b/src/dorkbox/util/jna/linux/GtkTheme.java index ccd83b7..1375ab4 100644 --- a/src/dorkbox/util/jna/linux/GtkTheme.java +++ b/src/dorkbox/util/jna/linux/GtkTheme.java @@ -161,8 +161,9 @@ class GtkTheme { } }); + // fallback - if (screenDPI.get() == 0) { + if (screenDPI.get() <= 0) { // GET THE DPI IN LINUX // https://wiki.archlinux.org/index.php/Talk:GNOME Object detectedValue = Toolkit.getDefaultToolkit().getDesktopProperty("gnome.Xft/DPI"); @@ -171,13 +172,14 @@ class GtkTheme { if (dpi == -1) { screenDPI.set((int) defaultDPI); } - if (dpi < 50) { - // 50 dpi is the minimum value gnome allows - screenDPI.set(50); - } } } + // 50 dpi is the minimum value gnome allows, and assume something screwed up. We apply this for ALL environments! + if (screenDPI.get() < 50) { + screenDPI.set((int) defaultDPI); + } + // check system ENV variables. if (screenScale.get() == 0) {