ViewManager/ViewManager.py

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

eric ide

mercurial