ViewManager/ViewManager.py

branch
5_2_x
changeset 2113
91ad478a4ad7
parent 2112
facc3a2d983a
child 2139
a7ebeff68ab6
diff -r facc3a2d983a -r 91ad478a4ad7 ViewManager/ViewManager.py
--- 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