QScintilla/SearchReplaceWidget.py

changeset 4304
f85965649066
parent 4086
822f456652c5
child 4435
9f6555d3c3c0
--- a/QScintilla/SearchReplaceWidget.py	Wed Jul 01 19:34:51 2015 +0200
+++ b/QScintilla/SearchReplaceWidget.py	Fri Jul 03 19:07:06 2015 +0200
@@ -350,6 +350,7 @@
             if indicate:
                 aw.setSearchIndicator(tgtPos, tgtLen)
             ok = aw.findNextTarget()
+        aw.updateMarkerMap()
     
     def __findNextPrev(self, txt, backwards):
         """

eric ide

mercurial