Ticket #13242: resolutions.patch

File resolutions.patch, 2.4 KB (added by wiktorn, 9 years ago)

Add screen size reporting to bug reports

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

    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;  
    55import static org.openstreetmap.josm.tools.I18n.tr;
    66
    77import java.awt.Dimension;
     8import java.awt.DisplayMode;
     9import java.awt.GraphicsDevice;
     10import java.awt.GraphicsEnvironment;
    811import java.awt.event.ActionEvent;
    912import java.awt.event.KeyEvent;
    1013import java.lang.management.ManagementFactory;
    import org.openstreetmap.josm.gui.preferences.SourceEntry;  
    3235import org.openstreetmap.josm.gui.preferences.map.MapPaintPreference;
    3336import org.openstreetmap.josm.gui.preferences.map.TaggingPresetPreference;
    3437import org.openstreetmap.josm.gui.preferences.validator.ValidatorTagCheckerRulesPreference;
     38import org.openstreetmap.josm.gui.util.GuiHelper;
    3539import org.openstreetmap.josm.io.OsmApi;
    3640import org.openstreetmap.josm.plugins.PluginHandler;
    3741import org.openstreetmap.josm.tools.PlatformHookUnixoid;
    public final class ShowStatusReportAction extends JosmAction {  
    9195            .append(runtimeVersion != null ? runtimeVersion : System.getProperty("java.version")).append(", ")
    9296            .append(System.getProperty("java.vendor")).append(", ")
    9397            .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
    94116        if (Main.platform.getClass() == PlatformHookUnixoid.class) {
    95117            // Add Java package details
    96118            String packageDetails = ((PlatformHookUnixoid) Main.platform).getJavaPackageDetails();