From e956677f442f2d427602d5dec76c33c7739f5680 Mon Sep 17 00:00:00 2001 From: Franklin Sobrinho Date: Sun, 22 Nov 2015 13:05:55 -0300 Subject: [PATCH] Better PropertyEditor search --- tools/editor/property_editor.cpp | 15 ++++++++++++--- 1 file changed, 12 insertions(+), 3 deletions(-) diff --git a/tools/editor/property_editor.cpp b/tools/editor/property_editor.cpp index 7687791ca2c..31393ebcbc1 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)