equal
deleted
inserted
replaced
506 |
506 |
507 self.SearchParams = search_params |
507 self.SearchParams = search_params |
508 |
508 |
509 self.SearchResults = [ |
509 self.SearchResults = [ |
510 (start, end, SEARCH_RESULT_HIGHLIGHT) |
510 (start, end, SEARCH_RESULT_HIGHLIGHT) |
511 for start, end, text in |
511 for start, end, _text in |
512 TestTextElement(self.GetText(), search_params)] |
512 TestTextElement(self.GetText(), search_params)] |
513 self.CurrentFindHighlight = None |
513 self.CurrentFindHighlight = None |
514 |
514 |
515 if len(self.SearchResults) > 0: |
515 if len(self.SearchResults) > 0: |
516 if self.CurrentFindHighlight is not None: |
516 if self.CurrentFindHighlight is not None: |