graphics/LD_Objects.py
changeset 1872 866fb3ab8778
parent 1852 70c1cc354a8f
child 1881 091005ec69c4
--- a/graphics/LD_Objects.py	Fri Oct 13 13:17:42 2017 +0300
+++ b/graphics/LD_Objects.py	Mon Oct 16 17:20:31 2017 +0300
@@ -621,7 +621,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)
 
@@ -943,7 +943,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)