def ClearHighlights(self, highlight_type=None): EditorPanel.ClearHighlights(self, highlight_type) self.TasksTable.ClearHighlights(highlight_type) self.InstancesTable.ClearHighlights(highlight_type) self.TasksTable.ResetView(self.TasksGrid) self.InstancesTable.ResetView(self.InstancesGrid)
def ClearHighlights(self, highlight_type=None): EditorPanel.ClearHighlights(self, highlight_type) if highlight_type is None: self.Highlights = [] else: highlight_type = HIGHLIGHT_TYPES.get(highlight_type, None) if highlight_type is not None: self.Highlights = [(infos, start, end, highlight) for (infos, start, end, highlight) in self.Highlights if highlight != highlight_type] self.RefreshView()