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

/seL4-camkes-master/projects/camkes-tool/camkes/visualCAmkES/View/
H A DInstance_Widget.py59 self.update_ui()
71 self.update_ui()
81 self.update_ui()
91 self.update_ui()
130 self.update_ui()
162 self.update_ui()
195 self.update_ui()
230 self.update_ui()
269 self.update_ui()
393 self.update_ui()
520 def update_ui(self): member in class:InstanceWidget
[all...]

Completed in 69 milliseconds