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

/seL4-camkes-master/projects/camkes-tool/camkes/visualCAmkES/Controller/
H A Dgraph_controller.py220 self.root_widget.save_layout_to_file()
/seL4-camkes-master/projects/camkes-tool/camkes/visualCAmkES/View/
H A DGraph_Widget.py454 self.save_layout_to_file()
456 def save_layout_to_file(self): member in class:GraphWidget
562 self.save_layout_to_file()
703 self.save_layout_to_file()

Completed in 41 milliseconds