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
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
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