equal
deleted
inserted
replaced
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 |