349 else: |
349 else: |
350 indicate = True |
350 indicate = True |
351 if indicate: |
351 if indicate: |
352 aw.setSearchIndicator(tgtPos, tgtLen) |
352 aw.setSearchIndicator(tgtPos, tgtLen) |
353 ok = aw.findNextTarget() |
353 ok = aw.findNextTarget() |
354 aw.updateMarkerMap() |
354 try: |
|
355 aw.updateMarkerMap() |
|
356 except AttributeError: |
|
357 # MiniEditor doesn't have this, ignore it |
|
358 pass |
355 |
359 |
356 def __findNextPrev(self, txt, backwards): |
360 def __findNextPrev(self, txt, backwards): |
357 """ |
361 """ |
358 Private method to find the next occurrence of the search text. |
362 Private method to find the next occurrence of the search text. |
359 |
363 |