diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2020-09-03 11:20:02 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-09-03 11:20:02 +0200 |
commit | cb20d2bc1da5bf343a241973534768da00145629 (patch) | |
tree | 95c35f7513540f0bcfdb1147307b59485a6fc096 | |
parent | 28100d554ce9047c6c267115ae4aca0e0970fe42 (diff) | |
parent | 7f226d0a8543e0470e3faefae2347fb4862a476c (diff) |
Merge pull request #41702 from kotelifelif/37424
Update search function in project settings
-rw-r--r-- | editor/editor_sectioned_inspector.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/editor/editor_sectioned_inspector.cpp b/editor/editor_sectioned_inspector.cpp index eabbf6b0d8..cf19b54cff 100644 --- a/editor/editor_sectioned_inspector.cpp +++ b/editor/editor_sectioned_inspector.cpp @@ -238,7 +238,7 @@ void SectionedInspector::update_category_list() { 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; } |