diff options
| author | George Marques | 2016-06-12 13:43:31 -0300 |
|---|---|---|
| committer | George Marques | 2016-06-12 14:53:03 -0300 |
| commit | 68868aabc6f27a8facd8fe3ecb5719bc50f0f3f4 (patch) | |
| tree | 6f5d9ec78f4f3f20a22a532f26c67c88c2b10ef6 /tools/editor/property_editor.cpp | |
| parent | a6c37d2b5d058d3bad2a942d965564c5054424c5 (diff) | |
| download | godot-68868aabc6f27a8facd8fe3ecb5719bc50f0f3f4.tar.gz godot-68868aabc6f27a8facd8fe3ecb5719bc50f0f3f4.tar.zst godot-68868aabc6f27a8facd8fe3ecb5719bc50f0f3f4.zip | |
Add subsequence search to tools
Add it to the following searches:
- Create node.
- Scene tree.
- Inspector properties.
- Classes list in help.
- Quick open.
Diffstat (limited to 'tools/editor/property_editor.cpp')
| -rw-r--r-- | tools/editor/property_editor.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/editor/property_editor.cpp b/tools/editor/property_editor.cpp index 2f0ba2da9..ddeaa0133 100644 --- a/tools/editor/property_editor.cpp +++ b/tools/editor/property_editor.cpp @@ -2804,7 +2804,7 @@ void PropertyEditor::update_tree() { if (capitalize_paths) cat = cat.capitalize(); - if (cat.findn(filter)==-1 && name.findn(filter)==-1) + if (!filter.is_subsequence_ofi(cat) && !filter.is_subsequence_ofi(name)) continue; } |