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

/seL4-camkes-master/projects/camkes-tool/camkes/visualCAmkES/View/
H A DGraph_Widget.py87 def save_picture_button(self): member in class:GraphWidget
637 save_picture_position = zoom_in_position - QtCore.QPoint(self.save_picture_button.sizeHint().width() -
641 self.save_picture_button.move(save_picture_position)
642 self.save_picture_button.show()
645 self.save_picture_button.sizeHint().width(),
646 self.save_picture_button.sizeHint().height() + 20)

Completed in 26 milliseconds