editors/ResourceEditor.py
changeset 1847 6198190bc121
parent 1834 cd42b426028b
child 1850 614396cbffbf
equal deleted inserted replaced
1846:14b40afccd69 1847:6198190bc121
   209 
   209 
   210     def ClearHighlights(self, highlight_type=None):
   210     def ClearHighlights(self, highlight_type=None):
   211         if highlight_type is None:
   211         if highlight_type is None:
   212             self.Highlights = {}
   212             self.Highlights = {}
   213         else:
   213         else:
   214             for row, row_highlights in self.Highlights.iteritems():
   214             for _row, row_highlights in self.Highlights.iteritems():
   215                 row_items = row_highlights.items()
   215                 row_items = row_highlights.items()
   216                 for col, col_highlights in row_items:
   216                 for col, col_highlights in row_items:
   217                     if highlight_type in col_highlights:
   217                     if highlight_type in col_highlights:
   218                         col_highlights.remove(highlight_type)
   218                         col_highlights.remove(highlight_type)
   219                     if len(col_highlights) == 0:
   219                     if len(col_highlights) == 0: