Changeset 16580 in josm for trunk/src/org

Timestamp:

2020-06-08T22:16:08+02:00 (4 years ago)

Author:

simon04

Message:

see #13173 - Add HiDPI information to status report (patch by johsin18, modified)

File:

• trunk/src/org/openstreetmap/josm/actions/ShowStatusReportAction.java (modified) (3 diffs)

trunk/src/org/openstreetmap/josm/actions/ShowStatusReportAction.java

@@ -10 +10 @@
 import java.awt.DisplayMode;
 import java.awt.GraphicsEnvironment;
+import java.awt.Toolkit;
 import java.awt.event.ActionEvent;
 import java.awt.event.KeyEvent;
+import java.awt.geom.AffineTransform;
 import java.lang.management.ManagementFactory;
 import java.util.ArrayList;
@@ -105 +107 @@
                             // Java 11: use DisplayMode#toString
                             b.append(' ').append(dm.getWidth()).append('x').append(dm.getHeight());
+                            AffineTransform transform = gd.getDefaultConfiguration().getDefaultTransform();
+                            b.append(" (scaling ").append(transform.getScaleX()).append("x").append(transform.getScaleY()).append(")");
                         }
                         return b.toString();
@@ -113 +117 @@
             .append((int) maxScreenSize.getWidth()).append('x')
             .append((int) maxScreenSize.getHeight()).append('\n');
+        if (!GraphicsEnvironment.isHeadless()) {
+            Dimension bestCursorSize16 = Toolkit.getDefaultToolkit().getBestCursorSize(16, 16);
+            Dimension bestCursorSize32 = Toolkit.getDefaultToolkit().getBestCursorSize(32, 32);
+            text.append("Best cursor sizes: 16x16 -> ")
+                    .append(bestCursorSize16.width).append("x").append(bestCursorSize16.height)
+                    .append(", 32x32 -> ")
+                    .append(bestCursorSize32.width).append("x").append(bestCursorSize32.height)
+                    .append("\n");
+        }
 
         if (PlatformManager.isPlatformUnixoid()) {