editors/ResourceEditor.py
changeset 1847 6198190bc121
parent 1834 cd42b426028b
child 1850 614396cbffbf
--- a/editors/ResourceEditor.py	Tue Oct 03 16:31:31 2017 +0300
+++ b/editors/ResourceEditor.py	Thu Oct 05 16:38:49 2017 +0300
@@ -211,7 +211,7 @@
         if highlight_type is None:
             self.Highlights = {}
         else:
-            for row, row_highlights in self.Highlights.iteritems():
+            for _row, row_highlights in self.Highlights.iteritems():
                 row_items = row_highlights.items()
                 for col, col_highlights in row_items:
                     if highlight_type in col_highlights: