equal
deleted
inserted
replaced
970 if highlight_type is None: |
970 if highlight_type is None: |
971 self.Highlights = {} |
971 self.Highlights = {} |
972 else: |
972 else: |
973 highlight_items = self.Highlights.items() |
973 highlight_items = self.Highlights.items() |
974 for name, highlights in highlight_items: |
974 for name, highlights in highlight_items: |
975 highlights = ClearHighlights(highlight, highlight_type) |
975 highlights = ClearHighlights(highlights, highlight_type) |
976 if len(highlights) == 0: |
976 if len(highlights) == 0: |
977 self.Highlights.pop(name) |
977 self.Highlights.pop(name) |
978 |
978 |
979 # Draws transition |
979 # Draws transition |
980 def Draw(self, dc): |
980 def Draw(self, dc): |