Changeset 15185 in josm for trunk/src/org/openstreetmap

Timestamp:

2019-06-18T23:40:26+02:00 (5 years ago)

Author:

Don-vip

Message:

fix #17823 - increase statusbar.decimal-format precision, for those crazy cartographers who do high-precision mapping

File:

• trunk/src/org/openstreetmap/josm/gui/MapStatus.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/gui/MapStatus.java

@@ -123 +123 @@
     Helpful, Destroyable, PreferenceChangedListener, SoMChangeListener, DataSelectionListener, DataSetListener, ZoomChangeListener {
 
-    private final DecimalFormat DECIMAL_FORMAT = new DecimalFormat(Config.getPref().get("statusbar.decimal-format", "0.0"));
+    private final DecimalFormat DECIMAL_FORMAT = new DecimalFormat(Config.getPref().get("statusbar.decimal-format", "0.00"));
     private static final AbstractProperty<Double> DISTANCE_THRESHOLD = new DoubleProperty("statusbar.distance-threshold", 0.01).cached();