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(); |