beremiz

a0c7a6cb1690
Parents 4485e6478b91
Children aa9ec1d5c54c
fix highlight of search result in Search Result Panel
Remove previous highlight, after next search result clicked.
--- 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)