Changeset 16643 in josm for trunk/src/org/openstreetmap/josm/gui/widgets
- Timestamp:
- 2020-06-14T20:19:59+02:00 (4 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/widgets/FilterField.java
r16438 r16643 87 87 expr = expr.replace("+", "\\+"); 88 88 // split search string on whitespace, do case-insensitive AND search 89 List<RowFilter<Object, Object>> andFilters = Arrays.stream(expr.split("\\s+" ))89 List<RowFilter<Object, Object>> andFilters = Arrays.stream(expr.split("\\s+", -1)) 90 90 .map(word -> RowFilter.regexFilter("(?i)" + word)) 91 91 .collect(Collectors.toList());
Note:
See TracChangeset
for help on using the changeset viewer.