Changeset 14433 in josm for trunk/src/org

Timestamp:

2018-11-20T00:24:45+01:00 (5 years ago)

Author:

Don-vip

Message:

fix #16994 - case-insensitive search in saved user queries

File:

• trunk/src/org/openstreetmap/josm/gui/download/UserQueryList.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/gui/download/UserQueryList.java

@@ -226 +226 @@
         List<SelectorItem> matchingItems = this.items.values().stream()
                 .sorted((i1, i2) -> i2.getLastEdit().compareTo(i1.getLastEdit()))
-                .filter(item -> item.getKey().contains(text))
+                .filter(item -> item.getKey().toLowerCase(Locale.ENGLISH).contains(text))
                 .collect(Collectors.toList());