Merge pull request #41702 from kotelifelif/37424

Update search function in project settings
This commit is contained in:
Rémi Verschelde 2020-09-03 11:20:02 +02:00 committed by GitHub
commit cb20d2bc1d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -238,7 +238,7 @@ void SectionedInspector::update_category_list() {
continue; continue;
} }
if (!filter.empty() && !filter.is_subsequence_ofi(pi.name) && !filter.is_subsequence_ofi(pi.name.replace("/", " ").capitalize())) { if (!filter.empty() && pi.name.findn(filter) == -1 && pi.name.replace("/", " ").capitalize().findn(filter) == -1) {
continue; continue;
} }