Ticket #20035: hidpi-geoimage.patch

src/org/openstreetmap/josm/gui/layer/geoimage/ImageDisplay.java

@@ -35 +35 @@
 import org.openstreetmap.josm.spi.preferences.PreferenceChangedListener;
 import org.openstreetmap.josm.tools.Destroyable;
 import org.openstreetmap.josm.tools.ExifReader;
+import org.openstreetmap.josm.tools.HiDPISupport;
 import org.openstreetmap.josm.tools.ImageProvider;
 import org.openstreetmap.josm.tools.Logging;
 
@@ -774 +775 @@
                     if (bi != null) {
                         r.x = r.y = 0;
 
+                        double s = HiDPISupport.getHiDPIScale();
+
                         // See https://community.oracle.com/docs/DOC-983611 - The Perils of Image.getScaledInstance()
                         // Pre-scale image when downscaling by more than two times to avoid aliasing from default algorithm
-                        bi = ImageProvider.createScaledImage(bi, target.width, target.height,
+                        bi = ImageProvider.createScaledImage(bi, (int) (target.width * s), (int) (target.height * s),
                                 RenderingHints.VALUE_INTERPOLATION_BILINEAR);
-                        r.width = target.width;
-                        r.height = target.height;
+                        r.width = (int) (target.width * s);
+                        r.height = (int) (target.height * s);
+
                         image = bi;
                     }
                 } catch (OutOfMemoryError oom) {

src/org/openstreetmap/josm/tools/HiDPISupport.java

@@ -175 +175 @@
      * only take the default screen device into account.
      * @return the GUI scale for HiDPI mode, a value of 1.0 means standard mode.
      */
-    static double getHiDPIScale() {
+    public static double getHiDPIScale() {
         if (GraphicsEnvironment.isHeadless())
             return 1.0;
         GraphicsConfiguration gc = GraphicsEnvironment