make filtering case insensitive

auto-update
Zlatin Balevsky 2021-09-06 17:58:03 +01:00
parent f079326826
commit c79fd9b8d5
No known key found for this signature in database
GPG Key ID: A72832072D525E41
1 changed files with 1 additions and 1 deletions

View File

@ -470,7 +470,7 @@ class MainFrameModel {
private boolean filter(SharedFile sharedFile) {
if (filter == null)
return true
String path = sharedFile.getCachedPath()
String path = sharedFile.getCachedPath().toLowerCase()
boolean contains = true
for (String keyword : filter) {
contains &= path.contains(keyword)