Searched refs:highlight_set (Results 1 – 1 of 1) sorted by relevance
1923 self.highlight_set = set()1949 if child in self.highlight_set:1954 if child in self.highlight_set:1975 def Highlight(self, highlight_set): argument1978 if child in self.highlight_set:1979 if child not in highlight_set:1981 elif child in highlight_set:1983 self.highlight_set = highlight_set2017 def Highlight(self, highlight_set): argument2018 self.data_model.Highlight(highlight_set)
