Changeset 10933 in josm
- Timestamp:
- 2016-09-03T00:09:12+02:00 (8 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/actions/ShowStatusReportAction.java
r10932 r10933 7 7 import java.awt.Dimension; 8 8 import java.awt.DisplayMode; 9 import java.awt.GraphicsDevice;10 9 import java.awt.GraphicsEnvironment; 11 10 import java.awt.event.ActionEvent; … … 98 97 text.append("Screen: "); 99 98 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 } 99 text.append(Arrays.stream(GraphicsEnvironment.getLocalGraphicsEnvironment().getScreenDevices()).map(gd -> { 100 StringBuilder b = new StringBuilder(gd.getIDstring()); 101 DisplayMode dm = gd.getDisplayMode(); 102 if (dm != null) { 103 b.append(' ').append(dm.getWidth()).append('x').append(dm.getHeight()); 104 } 105 return b.toString(); 106 }).collect(Collectors.joining(", "))); 109 107 } 110 108 Dimension maxScreenSize = GuiHelper.getMaximumScreenSize();
Note:
See TracChangeset
for help on using the changeset viewer.