Changeset 14433 in josm


Ignore:
Timestamp:
2018-11-20T00:24:45+01:00 (3 weeks ago)
Author:
Don-vip
Message:

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

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/src/org/openstreetmap/josm/gui/download/UserQueryList.java

    r14248 r14433  
    226226        List<SelectorItem> matchingItems = this.items.values().stream()
    227227                .sorted((i1, i2) -> i2.getLastEdit().compareTo(i1.getLastEdit()))
    228                 .filter(item -> item.getKey().contains(text))
     228                .filter(item -> item.getKey().toLowerCase(Locale.ENGLISH).contains(text))
    229229                .collect(Collectors.toList());
    230230
Note: See TracChangeset for help on using the changeset viewer.