graphics/GraphicCommons.py
changeset 1872 866fb3ab8778
parent 1870 4d070115b552
child 1881 091005ec69c4
equal deleted inserted replaced
1871:933fbe9a5e2c 1872:866fb3ab8778
   223         highlights.remove(infos)
   223         highlights.remove(infos)
   224         return True
   224         return True
   225     return False
   225     return False
   226 
   226 
   227 
   227 
   228 def ClearHighlight(highlights, highlight_type=None):
   228 def ClearHighlights(highlights, highlight_type=None):
   229     if highlight_type is not None:
   229     if highlight_type is not None:
   230         return [highlight for highlight in highlights if highlight[2] != highlight_type]
   230         return [highlight for highlight in highlights if highlight[2] != highlight_type]
   231     return []
   231     return []
   232 
   232 
   233 
   233