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: