Changeset 9269 in josm

Timestamp:

2016-01-02T23:09:57+01:00 (9 years ago)

Author:

simon04

Message:

fix #12275 - Allow changing decimal places in status line

Use expert preference keys statusbar.decimal-format and statusbar.distance-threshold for that,
and restart JOSM.

File:

• trunk/src/org/openstreetmap/josm/gui/MapStatus.java (modified) (2 diffs)

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

@@ -92 +92 @@
 public class MapStatus extends JPanel implements Helpful, Destroyable, PreferenceChangedListener {
 
-    private static final DecimalFormat ONE_DECIMAL_PLACE = new DecimalFormat("0.0");
+    private static final DecimalFormat ONE_DECIMAL_PLACE = new DecimalFormat(
+            Main.pref.get("statusbar.decimal-format", "0.0")); // change of preference requires restart
+    private static final double DISTANCE_THRESHOLD = Main.pref.getDouble("statusbar.distance-threshold", 0.01);
 
     /**
@@ -999 +1001 @@
     public void setDist(double dist) {
         distValue = dist;
-        distText.setText(dist < 0 ? "--" : NavigatableComponent.getDistText(dist, ONE_DECIMAL_PLACE, 0.01));
+        distText.setText(dist < 0 ? "--" : NavigatableComponent.getDistText(dist, ONE_DECIMAL_PLACE, DISTANCE_THRESHOLD));
     }