changeset 1847 | 6198190bc121 |
parent 1846 | 14b40afccd69 |
child 1872 | 866fb3ab8778 |
--- a/editors/CodeFileEditor.py Tue Oct 03 16:31:31 2017 +0300 +++ b/editors/CodeFileEditor.py Thu Oct 05 16:38:49 2017 +0300 @@ -508,7 +508,7 @@ self.SearchResults = [ (start, end, SEARCH_RESULT_HIGHLIGHT) - for start, end, text in + for start, end, _text in TestTextElement(self.GetText(), search_params)] self.CurrentFindHighlight = None