Changed the logic of the config dialog item filter slightly (to be more logically).

Tue, 24 Feb 2015 18:31:14 +0100

author
Detlev Offenbach <detlev@die-offenbachs.de>
date
Tue, 24 Feb 2015 18:31:14 +0100
changeset 4128
6e1ee14d5f23
parent 4127
71a8ce451ec1
child 4130
c5af9f10a061

Changed the logic of the config dialog item filter slightly (to be more logically).

Preferences/ConfigurationDialog.py file | annotate | diff | comparison | revisions
--- 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