diff --git src/org/openstreetmap/josm/actions/ShowStatusReportAction.java src/org/openstreetmap/josm/actions/ShowStatusReportAction.java
index 99cf774..1d95090 100644
|
|
import static org.openstreetmap.josm.gui.help.HelpUtil.ht;
|
5 | 5 | import static org.openstreetmap.josm.tools.I18n.tr; |
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; |
10 | 13 | import java.lang.management.ManagementFactory; |
… |
… |
import org.openstreetmap.josm.gui.preferences.SourceEntry;
|
32 | 35 | import org.openstreetmap.josm.gui.preferences.map.MapPaintPreference; |
33 | 36 | import org.openstreetmap.josm.gui.preferences.map.TaggingPresetPreference; |
34 | 37 | import org.openstreetmap.josm.gui.preferences.validator.ValidatorTagCheckerRulesPreference; |
| 38 | import org.openstreetmap.josm.gui.util.GuiHelper; |
35 | 39 | import org.openstreetmap.josm.io.OsmApi; |
36 | 40 | import org.openstreetmap.josm.plugins.PluginHandler; |
37 | 41 | import org.openstreetmap.josm.tools.PlatformHookUnixoid; |
… |
… |
public final class ShowStatusReportAction extends JosmAction {
|
91 | 95 | .append(runtimeVersion != null ? runtimeVersion : System.getProperty("java.version")).append(", ") |
92 | 96 | .append(System.getProperty("java.vendor")).append(", ") |
93 | 97 | .append(System.getProperty("java.vm.name")).append('\n'); |
| 98 | |
| 99 | text.append("Screen: "); |
| 100 | for (GraphicsDevice gd: GraphicsEnvironment.getLocalGraphicsEnvironment().getScreenDevices()) { |
| 101 | DisplayMode dm = gd.getDisplayMode(); |
| 102 | if (dm != null) { |
| 103 | text.append(gd.getIDstring()); |
| 104 | text.append(' '). |
| 105 | append(dm.getWidth()). |
| 106 | append('x'). |
| 107 | append(dm.getHeight()). |
| 108 | append(", "); |
| 109 | } |
| 110 | } |
| 111 | Dimension maxScreenSize = GuiHelper.getMaximumScreenSize(); |
| 112 | text.append("\nMaximum Screen Size: "). |
| 113 | append((int)maxScreenSize.getWidth()).append('x'). |
| 114 | append((int)maxScreenSize.getHeight()).append('\n'); |
| 115 | |
94 | 116 | if (Main.platform.getClass() == PlatformHookUnixoid.class) { |
95 | 117 | // Add Java package details |
96 | 118 | String packageDetails = ((PlatformHookUnixoid) Main.platform).getJavaPackageDetails(); |