diff -r f7aaf31d000f -r 3837e165b3f9 editors/Viewer.py
--- a/editors/Viewer.py	Tue Apr 23 23:02:35 2013 +0200
+++ b/editors/Viewer.py	Wed Apr 24 00:20:13 2013 +0200
@@ -3167,6 +3167,7 @@
                         blocks.append((block, (infos[1:], start, end, SEARCH_RESULT_HIGHLIGHT)))
             blocks.sort(sort_blocks)
             self.SearchResults.extend([infos for block, infos in blocks])
+            self.CurrentFindHighlight = None
         
         if len(self.SearchResults) > 0:
             if self.CurrentFindHighlight is not None: