Changeset 10932 in josm for trunk/src/org/openstreetmap/josm/actions
- Timestamp:
- 2016-09-02T23:01:12+02:00 (8 years ago)
- Location:
- trunk/src/org/openstreetmap/josm/actions
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/actions/ImageryAdjustAction.java
r10930 r10932 307 307 if (Main.map == null) 308 308 return; 309 if (oldMapMode != null 309 if (oldMapMode != null) { 310 310 Main.map.selectMapMode(oldMapMode); 311 311 oldMapMode = null; -
trunk/src/org/openstreetmap/josm/actions/ShowStatusReportAction.java
r10929 r10932 97 97 98 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(", ");99 if (!GraphicsEnvironment.isHeadless()) { 100 for (GraphicsDevice gd : GraphicsEnvironment.getLocalGraphicsEnvironment().getScreenDevices()) { 101 DisplayMode dm = gd.getDisplayMode(); 102 if (dm != null) { 103 text.append(gd.getIDstring()).append(' ') 104 .append(dm.getWidth()).append('x') 105 .append(dm.getHeight()) 106 .append(", "); 107 } 108 108 } 109 109 } 110 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');111 text.append("\nMaximum Screen Size: ") 112 .append((int) maxScreenSize.getWidth()).append('x') 113 .append((int) maxScreenSize.getHeight()).append('\n'); 114 114 115 115 if (Main.platform.getClass() == PlatformHookUnixoid.class) {
Note:
See TracChangeset
for help on using the changeset viewer.