Preferences/ConfigurationDialog.py

changeset 4128
6e1ee14d5f23
parent 4110
5a106c734527
child 4143
565002034bdb
equal deleted inserted replaced
4127:71a8ce451ec1 4128:6e1ee14d5f23
522 childVisible = False 522 childVisible = False
523 filter = filter.lower() 523 filter = filter.lower()
524 for index in range(parent.childCount()): 524 for index in range(parent.childCount()):
525 itm = parent.child(index) 525 itm = parent.child(index)
526 if itm.childCount() > 0: 526 if itm.childCount() > 0:
527 visible = self.__filterChildItems(itm, filter) 527 visible = filter in itm.text(0).lower() or \
528 self.__filterChildItems(itm, filter)
528 else: 529 else:
529 visible = filter == "" or filter in itm.text(0).lower() 530 visible = filter == "" or filter in itm.text(0).lower()
530 if visible: 531 if visible:
531 childVisible = True 532 childVisible = True
532 itm.setHidden(not visible) 533 itm.setHidden(not visible)

eric ide

mercurial