- Timestamp:
- 2020-02-11T21:53:29+01:00 (5 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/autofilter/AutoFilterRule.java
r15842 r15843 4 4 import java.text.DecimalFormat; 5 5 import java.util.Arrays; 6 import java.util.Locale; 6 7 import java.util.Objects; 7 8 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 149 150 .setValueExtractor(s -> (int) (Double.parseDouble(s) * 2.)) 150 .setValueFormatter(v -> DecimalFormat.getInstance( ).format(v / 2.)),151 .setValueFormatter(v -> DecimalFormat.getInstance(Locale.ROOT).format(v / 2.)), 151 152 new AutoFilterRule("layer", 16) 152 153 .setDefaultValueSupplier(AutoFilterRule::defaultLayer),
Note:
See TracChangeset
for help on using the changeset viewer.