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

/seL4-camkes-master/projects/camkes-tool/camkes/visualCAmkES/View/
H A DInstance_Widget.py360 widget_moved = QtCore.pyqtSignal() variable in class:InstanceWidget
816 self.widget_moved.emit()
H A DGraph_Widget.py221 new_widget.widget_moved.connect(self.update_view)

Completed in 31 milliseconds