Searched refs:highlight_set (Results 1 – 1 of 1) sorted by relevance
1930 self.highlight_set = set()1956 if child in self.highlight_set:1961 if child in self.highlight_set:1982 def Highlight(self, highlight_set): argument1985 if child in self.highlight_set:1986 if child not in highlight_set:1988 elif child in highlight_set:1990 self.highlight_set = highlight_set2024 def Highlight(self, highlight_set): argument2025 self.data_model.Highlight(highlight_set)
