equal
deleted
inserted
replaced
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() |