Searched refs:widget_instances (Results 1 - 1 of 1) sorted by relevance

/seL4-camkes-master/projects/camkes-tool/camkes/visualCAmkES/View/
H A DGraph_Widget.py44 def widget_instances(self): member in class:GraphWidget
49 @widget_instances.setter
50 def widget_instances(self, value): member in class:GraphWidget
198 for widget in self.widget_instances:
224 self.widget_instances.append(new_widget)
328 self.widget_instances.remove(old_widget)
431 for widget in self.widget_instances:
463 for widget in self.widget_instances:
490 for widget_instance in self.widget_instances:
532 for instance_widget in self.widget_instances
[all...]

Completed in 80 milliseconds