Make search history case-insensitive. GitHub ticket #117

auto-update
Zlatin Balevsky 2022-01-06 06:26:53 +00:00
parent 6c5dd2f954
commit 933f3e2dab
No known key found for this signature in database
GPG Key ID: A72832072D525E41
1 changed files with 1 additions and 1 deletions

View File

@ -43,7 +43,7 @@ class SearchFieldModel extends AbstractListModel implements MutableComboBoxModel
objects.clear()
Set<String> matching = new HashSet<>(uiSettings.searchHistory)
matching.retainAll { it.contains(selected) }
matching.retainAll { it.containsIgnoreCase(selected) }
matching.each {
objects.add(it)