changeset 1872 | 866fb3ab8778 |
parent 1852 | 70c1cc354a8f |
child 1881 | 091005ec69c4 |
--- a/graphics/SFC_Objects.py Fri Oct 13 13:17:42 2017 +0300 +++ b/graphics/SFC_Objects.py Mon Oct 16 17:20:31 2017 +0300 @@ -972,7 +972,7 @@ else: highlight_items = self.Highlights.items() for name, highlights in highlight_items: - highlights = ClearHighlights(highlight, highlight_type) + highlights = ClearHighlights(highlights, highlight_type) if len(highlights) == 0: self.Highlights.pop(name)