controls/SearchResultPanel.py
changeset 1847 6198190bc121
parent 1846 14b40afccd69
child 1870 4d070115b552
equal deleted inserted replaced
1846:14b40afccd69 1847:6198190bc121
   331         if isinstance(data, TupleType):
   331         if isinstance(data, TupleType):
   332             search_results = [data]
   332             search_results = [data]
   333         else:
   333         else:
   334             search_results = self.SearchResults.get(data, [])
   334             search_results = self.SearchResults.get(data, [])
   335         self.ParentWindow.ClearHighlights(SEARCH_RESULT_HIGHLIGHT)
   335         self.ParentWindow.ClearHighlights(SEARCH_RESULT_HIGHLIGHT)
   336         for infos, start, end, text in search_results:
   336         for infos, start, end, _text in search_results:
   337             self.ParentWindow.ShowSearchResult(infos, start, end)
   337             self.ParentWindow.ShowSearchResult(infos, start, end)
   338 
   338 
   339     def OnSearchResultsTreeItemActivated(self, event):
   339     def OnSearchResultsTreeItemActivated(self, event):
   340         self.ShowSearchResults(event.GetItem())
   340         self.ShowSearchResults(event.GetItem())
   341         event.Skip()
   341         event.Skip()