From: Marta Vaclavikova <marta_v@users.sourceforge.net>
Date: Sun, 9 Dec 2007 22:48:13 +0000 (+0000)
Subject: decimal point
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=9f0d18c31b5234d80bb56d06e9a345255f751869;p=docbook-dsssl

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 9fc6f5cc8..361cb4d68 100644
--- 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;
 
 import java.text.DecimalFormat;
+import java.text.NumberFormat;
 import java.util.Observable;
 import java.util.Observer;
+import java.util.Locale;
 
 import javax.swing.JSpinner;
 import javax.swing.SpinnerNumberModel;
@@ -32,7 +34,7 @@ public class SpinnerFloat extends JSpinner implements Observer, ChangeListener {
     private static final int SPINNER_SIZE = 4;
 
     /** The number format used for converting a decimal value to the string */
-    private static final DecimalFormat formatDouble = new DecimalFormat("0.##");
+    private static final DecimalFormat formatDouble = (DecimalFormat) NumberFormat.getInstance(Locale.ENGLISH);
 
     /** The parameter type which values the component displays */
     private Type type;
@@ -48,6 +50,9 @@ public class SpinnerFloat extends JSpinner implements Observer, ChangeListener {
         SpinnerNumberModel spinnerModel = new SpinnerNumberModel();
         spinnerModel.setValue(convertDouble(type.getValue()));
         spinnerModel.setStepSize(STEP);
+        
+        formatDouble.applyPattern("0.##");
+        
         return new SpinnerFloat(spinnerModel, type);
     }