Changeset 11381 in josm for trunk/src/org/openstreetmap/josm/gui/util/GuiHelper.java
- Timestamp:
- 2016-12-12T02:28:14+01:00 (7 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/util/GuiHelper.java
r11100 r11381 439 439 for (GraphicsDevice gd: GraphicsEnvironment.getLocalGraphicsEnvironment().getScreenDevices()) { 440 440 DisplayMode dm = gd.getDisplayMode(); 441 if (dm != null) { 442 height = Math.max(height, dm.getHeight()); 443 width = Math.max(width, dm.getWidth()); 444 } 441 height = Math.max(height, dm.getHeight()); 442 width = Math.max(width, dm.getWidth()); 445 443 } 446 444 if (height == 0 || width == 0) {
Note:
See TracChangeset
for help on using the changeset viewer.