Changeset 15843 in josm for trunk/src

Timestamp:

2020-02-11T21:53:29+01:00 (5 years ago)

Author:

simon04

Message:

see #17109 - Autofilter: use dot as decimal separator

File:

• trunk/src/org/openstreetmap/josm/gui/autofilter/AutoFilterRule.java (modified) (2 diffs)

trunk/src/org/openstreetmap/josm/gui/autofilter/AutoFilterRule.java

@@ -4 +4 @@
 import java.text.DecimalFormat;
 import java.util.Arrays;
+import java.util.Locale;
 import java.util.Objects;
 import java.util.Optional;
@@ -148 +149 @@
                 // #17109, support values like 0.5 or 1.5 - level values are multiplied by 2 when parsing, values are divided by 2 for formatting
                 .setValueExtractor(s -> (int) (Double.parseDouble(s) * 2.))
-                .setValueFormatter(v -> DecimalFormat.getInstance().format(v / 2.)),
+                .setValueFormatter(v -> DecimalFormat.getInstance(Locale.ROOT).format(v / 2.)),
             new AutoFilterRule("layer", 16)
                     .setDefaultValueSupplier(AutoFilterRule::defaultLayer),