diff options
author | Rémi Verschelde <remi@verschelde.fr> | 2015-11-23 00:21:19 +0100 |
---|---|---|
committer | Rémi Verschelde <remi@verschelde.fr> | 2015-11-23 00:21:19 +0100 |
commit | d97e8cface8196b8f0be29e11739f0474fad32fc (patch) | |
tree | 64de8ac65bfdac90695a1d9b73bdc032b765f5d1 /tools/editor/property_editor.cpp | |
parent | b5a7585fc084de56d672b2e9c76fb80ef55f8763 (diff) | |
parent | e956677f442f2d427602d5dec76c33c7739f5680 (diff) |
Merge pull request #2871 from TheHX/property_editor_search
Better PropertyEditor search
Diffstat (limited to 'tools/editor/property_editor.cpp')
-rw-r--r-- | tools/editor/property_editor.cpp | 15 |
1 files changed, 12 insertions, 3 deletions
diff --git a/tools/editor/property_editor.cpp b/tools/editor/property_editor.cpp index 7687791ca2..31393ebcbc 100644 --- a/tools/editor/property_editor.cpp +++ b/tools/editor/property_editor.cpp @@ -2433,10 +2433,19 @@ void PropertyEditor::update_tree() { if (capitalize_paths) name = name.camelcase_to_underscore().capitalize(); - if (use_filter && filter!="" && name.findn(filter)==-1) - continue; - String path=p.name.left( p.name.find_last("/") ) ; + + if (use_filter && filter!="") { + + String cat = path; + + if (capitalize_paths) + cat = cat.capitalize(); + + if (cat.findn(filter)==-1 && name.findn(filter)==-1) + continue; + } + //printf("property %s\n",p.name.ascii().get_data()); TreeItem * parent = get_parent_node(path,item_path,current_category?current_category:root ); //if (parent->get_parent()==root) |