Preferences/ConfigurationDialog.py

changeset 4165
7ff2ca8b0dc5
parent 4143
565002034bdb
child 4213
0bbb56fc9e65
equal deleted inserted replaced
4164:daae068f48b5 4165:7ff2ca8b0dc5
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 = filter in itm.text(0).lower() or \ 527 visible = self.__filterChildItems(itm, filter) or \
528 self.__filterChildItems(itm, filter) 528 filter == "" or filter in itm.text(0).lower()
529 else: 529 else:
530 visible = filter == "" or filter in itm.text(0).lower() 530 visible = filter == "" or filter in itm.text(0).lower()
531 if visible: 531 if visible:
532 childVisible = True 532 childVisible = True
533 itm.setHidden(not visible) 533 itm.setHidden(not visible)

eric ide

mercurial