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

/seL4-camkes-master/projects/camkes-tool/camkes/visualCAmkES/View/
H A DGraph_Widget.py91 self._save_picture_button.clicked.connect(self.save_picture)
135 self._export_action.triggered.connect(self.save_picture)
723 def save_picture(self): member in class:GraphWidget

Completed in 75 milliseconds