Ticket #13173: status-report-for-hidpi.patch

File status-report-for-hidpi.patch, 1.9 KB (added by johsin18, 4 years ago)

Patch adding HiDPI-related information to the status report.

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

    diff --git a/src/org/openstreetmap/josm/actions/ShowStatusReportAction.java b/src/org/openstreetmap/josm/actions/ShowStatusReportAction.java
index 4ae68d504..ec597e40d 100644
    a b import static org.openstreetmap.josm.tools.Utils.getSystemProperty;  
    99import java.awt.Dimension;
    1010import java.awt.DisplayMode;
    1111import java.awt.GraphicsEnvironment;
     12import java.awt.Toolkit;
    1213import java.awt.event.ActionEvent;
    1314import java.awt.event.KeyEvent;
     15import java.awt.geom.AffineTransform;
    1416import java.lang.management.ManagementFactory;
    1517import java.util.ArrayList;
    1618import java.util.Arrays;
    … … public final class ShowStatusReportAction extends JosmAction {  
    104106                        if (dm != null) {
    105107                            // Java 11: use DisplayMode#toString
    106108                            b.append(' ').append(dm.getWidth()).append('x').append(dm.getHeight());
     109                            AffineTransform transform = gd.getDefaultConfiguration().getDefaultTransform();
     110                            b.append(" (scaling ").append(transform.getScaleX()).append("x").append(transform.getScaleY()).append(")");
    107111                        }
    108112                        return b.toString();
    109113                    }).collect(Collectors.joining(", ")));
     114            Dimension bestCursorSize16 = Toolkit.getDefaultToolkit().getBestCursorSize(16, 16);
     115            text.append("\nBest cursor sizes: 16x16 -> ").append(bestCursorSize16.width).append("x").append(bestCursorSize16.height);
     116            Dimension bestCursorSize32 = Toolkit.getDefaultToolkit().getBestCursorSize(32, 32);
     117            text.append(", 32x32 -> ").append(bestCursorSize32.width).append("x").append(bestCursorSize32.height);
    110118        }
    111119        Dimension maxScreenSize = GuiHelper.getMaximumScreenSize();
    112120        text.append("\nMaximum Screen Size: ")