graphics/GraphicCommons.py
changeset 1872 866fb3ab8778
parent 1870 4d070115b552
child 1881 091005ec69c4
--- a/graphics/GraphicCommons.py	Fri Oct 13 13:17:42 2017 +0300
+++ b/graphics/GraphicCommons.py	Mon Oct 16 17:20:31 2017 +0300
@@ -225,7 +225,7 @@
     return False
 
 
-def ClearHighlight(highlights, highlight_type=None):
+def ClearHighlights(highlights, highlight_type=None):
     if highlight_type is not None:
         return [highlight for highlight in highlights if highlight[2] != highlight_type]
     return []