Changeset 10929 in josm for trunk/src/org

Timestamp:

2016-09-01T20:56:44+02:00 (8 years ago)

Author:

wiktorn

Message:

Add screen size information in status report

File:

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

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

@@ -6 +6 @@
 
 import java.awt.Dimension;
+import java.awt.DisplayMode;
+import java.awt.GraphicsDevice;
+import java.awt.GraphicsEnvironment;
 import java.awt.event.ActionEvent;
 import java.awt.event.KeyEvent;
@@ -31 +34 @@
 import org.openstreetmap.josm.gui.preferences.map.TaggingPresetPreference;
 import org.openstreetmap.josm.gui.preferences.validator.ValidatorTagCheckerRulesPreference;
+import org.openstreetmap.josm.gui.util.GuiHelper;
 import org.openstreetmap.josm.io.OsmApi;
 import org.openstreetmap.josm.plugins.PluginHandler;
@@ -91 +95 @@
             .append(System.getProperty("java.vendor")).append(", ")
             .append(System.getProperty("java.vm.name")).append('\n');
+
+        text.append("Screen: ");
+        for (GraphicsDevice gd: GraphicsEnvironment.getLocalGraphicsEnvironment().getScreenDevices()) {
+            DisplayMode dm = gd.getDisplayMode();
+            if (dm != null) {
+                text.append(gd.getIDstring());
+                text.append(' ').
+                append(dm.getWidth()).
+                append('x').
+                append(dm.getHeight()).
+                append(", ");
+            }
+        }
+        Dimension maxScreenSize = GuiHelper.getMaximumScreenSize();
+        text.append("\nMaximum Screen Size: ").
+        append((int)maxScreenSize.getWidth()).append('x').
+        append((int)maxScreenSize.getHeight()).append('\n');
+
         if (Main.platform.getClass() == PlatformHookUnixoid.class) {
             // Add Java package details