--- a/editors/Viewer.py	Wed Apr 24 18:34:00 2013 +0900
+++ b/editors/Viewer.py	Wed Apr 24 17:37:46 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: