Searched refs:highlight_set (Results 1 – 1 of 1) sorted by relevance
1929 self.highlight_set = set()1955 if child in self.highlight_set:1960 if child in self.highlight_set:1981 def Highlight(self, highlight_set): argument1984 if child in self.highlight_set:1985 if child not in highlight_set:1987 elif child in highlight_set:1989 self.highlight_set = highlight_set2023 def Highlight(self, highlight_set): argument2024 self.data_model.Highlight(highlight_set)