Index: /trunk/src/org/openstreetmap/josm/gui/MapStatus.java
===================================================================
--- /trunk/src/org/openstreetmap/josm/gui/MapStatus.java	(revision 9268)
+++ /trunk/src/org/openstreetmap/josm/gui/MapStatus.java	(revision 9269)
@@ -92,5 +92,7 @@
 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,5 +1001,5 @@
     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));
     }