author | Surkov Sergey <surkovsv93@gmail.com> |
Tue, 10 Jan 2017 13:45:56 +0300 | |
changeset 1622 | a0c7a6cb1690 |
parent 1621 | 4485e6478b91 |
child 1623 | aa9ec1d5c54c |
--- 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)