Ticket #13173: fix-13173-mouse-cursor-hotspot-offset-for-hidpi.patch

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

@@ -1328 +1328 @@
             Logging.debug("Cursors are not available in headless mode. Returning null for ''{0}''", name);
             return null;
         }
+        Point hotSpot = "crosshair".equals(name) ? new Point(10, 10) : new Point(3, 2);
+        float scaling = 1.0f;
+        if (GraphicsEnvironment.getLocalGraphicsEnvironment().getClass().getName().equals("sun.awt.Win32GraphicsEnvironment"))
+            scaling = Toolkit.getDefaultToolkit().getScreenResolution() / 96.0f;
         return Toolkit.getDefaultToolkit().createCustomCursor(img.getImage(),
-                "crosshair".equals(name) ? new Point(10, 10) : new Point(3, 2), "Cursor");
+                new Point(Math.round(hotSpot.x * scaling), Math.round(hotSpot.y * scaling)), name);
     }
 
     /** 90 degrees in radians units */