Changeset 19120 in josm for trunk/src/org/openstreetmap/josm/actions
- Timestamp:
- 2024-06-20T15:55:07+02:00 (22 months ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/actions/ShowStatusReportAction.java
r18871 r19120 113 113 if (dm != null) { 114 114 AffineTransform transform = gd.getDefaultConfiguration().getDefaultTransform(); 115 // Java 11: use DisplayMode#toString 116 text.format(Locale.ROOT, " %d\u00D7%d (scaling %.2f\u00D7%.2f)", 117 dm.getWidth(), dm.getHeight(), transform.getScaleX(), transform.getScaleY()); 115 text.format(Locale.ROOT, " %s (scaling %.2f\u00D7%.2f)", 116 dm, transform.getScaleX(), transform.getScaleY()); 118 117 } 119 118 }
Note:
See TracChangeset
for help on using the changeset viewer.
