Changeset 7135 in josm for trunk/src/org/openstreetmap/josm/gui/MapStatus.java

Timestamp:

2014-05-17T04:49:16+02:00 (10 years ago)

Author:

simon04

Message:

Display numbers in map status line according to locale/language

File:

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

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

@@ -27 +27 @@
 import java.awt.event.MouseMotionListener;
 import java.lang.reflect.InvocationTargetException;
+import java.text.DecimalFormat;
 import java.util.ArrayList;
 import java.util.Collection;
@@ -85 +86 @@
  */
 public class MapStatus extends JPanel implements Helpful, Destroyable, PreferenceChangedListener {
+
+    private static final DecimalFormat ONE_DECIMAL_PLACE = new DecimalFormat("0.0");
 
     /**
@@ -723 +726 @@
         
         private final JSeparator separator = new JSeparator();
-        
+
         private final JMenuItem doNotHide = new JCheckBoxMenuItem(new AbstractAction(tr("Do not hide status bar")) {
             @Override
@@ -743 +746 @@
                 add(item);
             }
-            
+
             add(separator);
             add(doNotHide);
-            
+
             addPopupMenuListener(new PopupMenuListener() {
                 @Override
@@ -947 +950 @@
 
     public void setAngle(double a) {
-        angleText.setText(a < 0 ? "--" : Math.round(a*10)/10.0 + " \u00B0");
+        angleText.setText(a < 0 ? "--" : ONE_DECIMAL_PLACE.format(a) + " \u00B0");
     }
 
     public void setHeading(double h) {
-        headingText.setText(h < 0 ? "--" : Math.round(h*10)/10.0 + " \u00B0");
+        headingText.setText(h < 0 ? "--" : ONE_DECIMAL_PLACE.format(h) + " \u00B0");
     }
 
@@ -960 +963 @@
     public void setDist(double dist) {
         distValue = dist;
-        distText.setText(dist < 0 ? "--" : NavigatableComponent.getDistText(dist));
+        distText.setText(dist < 0 ? "--" : NavigatableComponent.getDistText(dist, ONE_DECIMAL_PLACE, 0.01));
     }