Changeset 10929 in josm for trunk/src/org/openstreetmap
- Timestamp:
- 2016-09-01T20:56:44+02:00 (8 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/actions/ShowStatusReportAction.java
r10796 r10929 6 6 7 7 import java.awt.Dimension; 8 import java.awt.DisplayMode; 9 import java.awt.GraphicsDevice; 10 import java.awt.GraphicsEnvironment; 8 11 import java.awt.event.ActionEvent; 9 12 import java.awt.event.KeyEvent; … … 31 34 import org.openstreetmap.josm.gui.preferences.map.TaggingPresetPreference; 32 35 import org.openstreetmap.josm.gui.preferences.validator.ValidatorTagCheckerRulesPreference; 36 import org.openstreetmap.josm.gui.util.GuiHelper; 33 37 import org.openstreetmap.josm.io.OsmApi; 34 38 import org.openstreetmap.josm.plugins.PluginHandler; … … 91 95 .append(System.getProperty("java.vendor")).append(", ") 92 96 .append(System.getProperty("java.vm.name")).append('\n'); 97 98 text.append("Screen: "); 99 for (GraphicsDevice gd: GraphicsEnvironment.getLocalGraphicsEnvironment().getScreenDevices()) { 100 DisplayMode dm = gd.getDisplayMode(); 101 if (dm != null) { 102 text.append(gd.getIDstring()); 103 text.append(' '). 104 append(dm.getWidth()). 105 append('x'). 106 append(dm.getHeight()). 107 append(", "); 108 } 109 } 110 Dimension maxScreenSize = GuiHelper.getMaximumScreenSize(); 111 text.append("\nMaximum Screen Size: "). 112 append((int)maxScreenSize.getWidth()).append('x'). 113 append((int)maxScreenSize.getHeight()).append('\n'); 114 93 115 if (Main.platform.getClass() == PlatformHookUnixoid.class) { 94 116 // Add Java package details
Note:
See TracChangeset
for help on using the changeset viewer.