diff -r 71a8ce451ec1 -r 6e1ee14d5f23 Preferences/ConfigurationDialog.py --- 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: