3165                     block = self.Blocks.get(infos[2])

  3165                     block = self.Blocks.get(infos[2])

  3166                     if block is not None:

  3166                     if block is not None:

  3167                         blocks.append((block, (infos[1:], start, end, SEARCH_RESULT_HIGHLIGHT)))

  3167                         blocks.append((block, (infos[1:], start, end, SEARCH_RESULT_HIGHLIGHT)))

  3168             blocks.sort(sort_blocks)

  3168             blocks.sort(sort_blocks)

  3169             self.SearchResults.extend([infos for block, infos in blocks])

  3169             self.SearchResults.extend([infos for block, infos in blocks])

  3170         

  3171         

  3171         if len(self.SearchResults) > 0:

  3172         if len(self.SearchResults) > 0:

  3172             if self.CurrentFindHighlight is not None:

  3173             if self.CurrentFindHighlight is not None:

  3173                 old_idx = self.SearchResults.index(self.CurrentFindHighlight)

  3174                 old_idx = self.SearchResults.index(self.CurrentFindHighlight)

  3174                 if self.SearchParams["wrap"]:

  3175                 if self.SearchParams["wrap"]: