Preferences/ConfigurationDialog.py

changeset 4128
6e1ee14d5f23
parent 4110
5a106c734527
child 4143
565002034bdb
--- a/Preferences/ConfigurationDialog.py	Mon Feb 23 19:41:49 2015 +0100
+++ b/Preferences/ConfigurationDialog.py	Tue Feb 24 18:31:14 2015 +0100
@@ -524,7 +524,8 @@
         for index in range(parent.childCount()):
             itm = parent.child(index)
             if itm.childCount() > 0:
-                visible = self.__filterChildItems(itm, filter)
+                visible = filter in itm.text(0).lower() or \
+                    self.__filterChildItems(itm, filter)
             else:
                 visible = filter == "" or filter in itm.text(0).lower()
             if visible:

eric ide

mercurial