--- a/ViewManager/ViewManager.py Sat Oct 06 18:48:56 2012 +0200 +++ b/ViewManager/ViewManager.py Sat Oct 06 18:49:58 2012 +0200 @@ -4594,10 +4594,7 @@ lineFrom, indexFrom, lineTo, indexTo) while ok: tgtPos, tgtLen = aw.getFoundTarget() - try: - aw.setSearchIndicator(tgtPos, tgtLen) - except AttributeError: - self.viewmanager.setSearchIndicator(tgtPos, tgtLen) + aw.setSearchIndicator(tgtPos, tgtLen) ok = aw.findNextTarget() def __quickSearchInEditor(self, again, back):