Changeset 15922 in josm for trunk/src/org

Timestamp:

2020-02-24T21:18:34+01:00 (5 years ago)

Author:

Don-vip

Message:

see #18720 - Headless mode is obviously not an HIDPI screen, as Jenkins wisely reminds us

File:

• trunk/src/org/openstreetmap/josm/tools/PlatformHook.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/tools/PlatformHook.java

@@ -144 +144 @@
     default boolean isHighDpiDisplay() {
         // https://stackoverflow.com/a/49770313
-        return !GraphicsEnvironment.getLocalGraphicsEnvironment().getDefaultScreenDevice().getDefaultConfiguration()
+        return !GraphicsEnvironment.isHeadless() &&
+                !GraphicsEnvironment.getLocalGraphicsEnvironment().getDefaultScreenDevice().getDefaultConfiguration()
                 .getDefaultTransform().isIdentity();
     }