--- a/controls/SearchResultPanel.py	Tue Jan 10 14:08:49 2017 +0300
+++ b/controls/SearchResultPanel.py	Tue Jan 10 13:45:56 2017 +0300
@@ -324,6 +324,7 @@
             search_results = [data]
         else:
             search_results = self.SearchResults.get(data, [])
+        self.ParentWindow.ClearHighlights(SEARCH_RESULT_HIGHLIGHT)
         for infos, start, end, text in search_results:
             self.ParentWindow.ShowSearchResult(infos, start, end)