Changeset 15918 in josm for trunk/src/org

Timestamp:

2020-02-24T01:01:14+01:00 (5 years ago)

Author:

Don-vip

Message:

fix #18720 - see #11856 - Automatically enable "Tile zoom offset" in HIDPI mode

Location:

trunk/src/org/openstreetmap/josm

Files:

• gui/layer/AbstractTileSourceLayer.java (modified) (2 diffs)
• tools/PlatformHook.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/gui/layer/AbstractTileSourceLayer.java

@@ -128 +128 @@
 import org.openstreetmap.josm.tools.MemoryManager.MemoryHandle;
 import org.openstreetmap.josm.tools.MemoryManager.NotEnoughMemoryException;
+import org.openstreetmap.josm.tools.PlatformManager;
 import org.openstreetmap.josm.tools.Utils;
 import org.openstreetmap.josm.tools.bugreport.BugReport;
@@ -172 +173 @@
      * lower resolution of imagery useful in "retina" displays, positive values will result in higher resolution
      */
-    public static final IntegerProperty ZOOM_OFFSET = new IntegerProperty(PREFERENCE_PREFIX + ".zoom_offset", 0);
+    public static final IntegerProperty ZOOM_OFFSET = new IntegerProperty(PREFERENCE_PREFIX + ".zoom_offset",
+            PlatformManager.getPlatform().isHighDpiDisplay() ? 2 : 0);
 
     /*

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

@@ -138 +138 @@
 
     /**
+     * Determines if the default screen is a high-dpi device such as a mac Retina display.
+     * @return {@code true} if the default screen is a high-dpi device such as a mac Retina display
+     * @since 15918
+     */
+    default boolean isHighDpiDisplay() {
+        // https://stackoverflow.com/a/49770313
+        return !GraphicsEnvironment.getLocalGraphicsEnvironment().getDefaultScreenDevice().getDefaultConfiguration()
+                .getDefaultTransform().isIdentity();
+    }
+
+    /**
      * Renames a file.
      * @param from Source file