Searched refs:highlight_set (Results 1 – 1 of 1) sorted by relevance
1933 self.highlight_set = set()1959 if child in self.highlight_set:1964 if child in self.highlight_set:1985 def Highlight(self, highlight_set): argument1988 if child in self.highlight_set:1989 if child not in highlight_set:1991 elif child in highlight_set:1993 self.highlight_set = highlight_set2027 def Highlight(self, highlight_set): argument2028 self.data_model.Highlight(highlight_set)