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 []