Changeset 15922 in josm


Ignore:
Timestamp:
2020-02-24T21:18:34+01:00 (3 months ago)
Author:
Don-vip
Message:

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

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/src/org/openstreetmap/josm/tools/PlatformHook.java

    r15918 r15922  
    144144    default boolean isHighDpiDisplay() {
    145145        // https://stackoverflow.com/a/49770313
    146         return !GraphicsEnvironment.getLocalGraphicsEnvironment().getDefaultScreenDevice().getDefaultConfiguration()
     146        return !GraphicsEnvironment.isHeadless() &&
     147                !GraphicsEnvironment.getLocalGraphicsEnvironment().getDefaultScreenDevice().getDefaultConfiguration()
    147148                .getDefaultTransform().isIdentity();
    148149    }
Note: See TracChangeset for help on using the changeset viewer.