Changeset 17658 in josm for trunk/src/org/openstreetmap
- Timestamp:
- 2021-03-24T23:04:25+01:00 (4 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/io/session/SessionWriter.java
r16913 r17658 12 12 import java.util.HashMap; 13 13 import java.util.List; 14 import java.util.Locale; 14 15 import java.util.Map; 15 16 import java.util.Objects; … … 271 272 viewportEl.appendChild(scale); 272 273 double dist100px = mapView.getDist100Pixel(); 273 scale.setAttribute("meter-per-pixel", Double.toString(dist100px / 100));274 scale.setAttribute("meter-per-pixel", String.format(Locale.ROOT, "%6f", dist100px / 100)); 274 275 } 275 276
Note:
See TracChangeset
for help on using the changeset viewer.