ViewManager/ViewManager.py

branch
5_2_x
changeset 2113
91ad478a4ad7
parent 2112
facc3a2d983a
child 2139
a7ebeff68ab6
equal deleted inserted replaced
2112:facc3a2d983a 2113:91ad478a4ad7
4592 aw.clearSearchIndicators() 4592 aw.clearSearchIndicators()
4593 ok = aw.findFirstTarget(txt, False, False, False, 4593 ok = aw.findFirstTarget(txt, False, False, False,
4594 lineFrom, indexFrom, lineTo, indexTo) 4594 lineFrom, indexFrom, lineTo, indexTo)
4595 while ok: 4595 while ok:
4596 tgtPos, tgtLen = aw.getFoundTarget() 4596 tgtPos, tgtLen = aw.getFoundTarget()
4597 try: 4597 aw.setSearchIndicator(tgtPos, tgtLen)
4598 aw.setSearchIndicator(tgtPos, tgtLen)
4599 except AttributeError:
4600 self.viewmanager.setSearchIndicator(tgtPos, tgtLen)
4601 ok = aw.findNextTarget() 4598 ok = aw.findNextTarget()
4602 4599
4603 def __quickSearchInEditor(self, again, back): 4600 def __quickSearchInEditor(self, again, back):
4604 """ 4601 """
4605 Private slot to perform a quick search. 4602 Private slot to perform a quick search.

eric ide

mercurial