godotengine/godot
1
0
Fork 0
mirror of https://github.com/godotengine/godot.git synced 2025-11-08 12:40:44 +00:00
Code Releases Wiki Activity

Merge pull request #5177 from vnen/string-subsequence

Browse Source 
Add subsequence search to tools
This commit is contained in:
Juan Linietsky
2016-06-13 13:25:56 -03:00
committed by GitHub
parent 7127f0943d feb95fa9ac
commit 20b4567829
9 changed files with 77 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
tools/editor/property_editor.cpp
View File

@@ -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;
}