diff options
| author | Juan Linietsky | 2016-06-13 13:25:56 -0300 |
|---|---|---|
| committer | GitHub | 2016-06-13 13:25:56 -0300 |
| commit | 20b45678293551f9fdb5a4b13ec1d5871a3d9cf8 (patch) | |
| tree | 24bf08bb47ef788c7b103eadf73f5d10ecb46c52 /tools/editor/property_editor.cpp | |
| parent | 7127f0943df4790f49afa8fda084ea6dff705e7e (diff) | |
| parent | feb95fa9ace04a3f2eb883e39995b962fde09561 (diff) | |
| download | godot-20b45678293551f9fdb5a4b13ec1d5871a3d9cf8.tar.gz godot-20b45678293551f9fdb5a4b13ec1d5871a3d9cf8.tar.zst godot-20b45678293551f9fdb5a4b13ec1d5871a3d9cf8.zip | |
Merge pull request #5177 from vnen/string-subsequence
Add subsequence search to tools
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 7dfcf88e2..763734f03 100644 --- a/tools/editor/property_editor.cpp +++ b/tools/editor/property_editor.cpp @@ -2812,7 +2812,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; } |