Changeset 6316 in josm for trunk/src/org/openstreetmap/josm/gui/preferences/shortcut/PrefJPanel.java
- Timestamp:
- 2013-10-07T20:18:17+02:00 (11 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/preferences/shortcut/PrefJPanel.java
r6248 r6316 16 16 import java.util.ArrayList; 17 17 import java.util.LinkedHashMap; 18 import java.util.List; 18 19 import java.util.Map; 19 20 import java.util.regex.PatternSyntaxException; … … 373 374 expr = expr.replace("+", "\\+"); 374 375 // split search string on whitespace, do case-insensitive AND search 375 ArrayList<RowFilter<Object, Object>> andFilters = new ArrayList<RowFilter<Object, Object>>();376 List<RowFilter<Object, Object>> andFilters = new ArrayList<RowFilter<Object, Object>>(); 376 377 for (String word : expr.split("\\s+")) { 377 378 andFilters.add(RowFilter.regexFilter("(?i)" + word));
Note:
See TracChangeset
for help on using the changeset viewer.