ViewManager/ViewManager.py

changeset 2110
eff6b085ea89
parent 2109
621ffe935354
child 2138
6fa3cda67d42
equal deleted inserted replaced
2109:621ffe935354 2110:eff6b085ea89
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