editors/CodeFileEditor.py
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