decimal point

diff --git a/contrib/tools/fo-editor/src/cz/zcu/fav/kiv/editor/graphics/components/SpinnerFloat.java b/contrib/tools/fo-editor/src/cz/zcu/fav/kiv/editor/graphics/components/SpinnerFloat.java
index 9fc6f5cc8cb48308329d55fbe5897f3c17910d84..361cb4d682f6937826d4afba3c576e6e3bd2da56 100644 (file)
--- a/contrib/tools/fo-editor/src/cz/zcu/fav/kiv/editor/graphics/components/SpinnerFloat.java
+++ b/contrib/tools/fo-editor/src/cz/zcu/fav/kiv/editor/graphics/components/SpinnerFloat.java
@@ -1,8 +1,10 @@
 package cz.zcu.fav.kiv.editor.graphics.components;\r
 \r
 import java.text.DecimalFormat;\r
+import java.text.NumberFormat;\r
 import java.util.Observable;\r
 import java.util.Observer;\r
+import java.util.Locale;\r
 \r
 import javax.swing.JSpinner;\r
 import javax.swing.SpinnerNumberModel;\r
@@ -32,7 +34,7 @@ public class SpinnerFloat extends JSpinner implements Observer, ChangeListener {
     private static final int SPINNER_SIZE = 4;\r
 \r
     /** The number format used for converting a decimal value to the string */\r
-    private static final DecimalFormat formatDouble = new DecimalFormat("0.##");\r
+    private static final DecimalFormat formatDouble = (DecimalFormat) NumberFormat.getInstance(Locale.ENGLISH);\r
 \r
     /** The parameter type which values the component displays */\r
     private Type type;\r
@@ -48,6 +50,9 @@ public class SpinnerFloat extends JSpinner implements Observer, ChangeListener {
         SpinnerNumberModel spinnerModel = new SpinnerNumberModel();\r
         spinnerModel.setValue(convertDouble(type.getValue()));\r
         spinnerModel.setStepSize(STEP);\r
+        \r
+        formatDouble.applyPattern("0.##");\r
+        \r
         return new SpinnerFloat(spinnerModel, type);\r
     }\r
 \r