def menu_file_save_as(self, widget):
self.logger.info("Saving file as...")
tab, i = self.current_tab()
if tab and self.notebook.get_n_pages() > 0:
file_chooser = FileChooser("save")
file_chooser.run()
if file_chooser.path:
tab.graph.save(file_chooser.path)
tab.changed = False
self.tab_changed(tab)
del file_chooser
def menu_file_open(self, widget):
self.logger.info("Opening file")
file_chooser = FileChooser("open")
file_chooser.run()
if file_chooser.path:
tab = Graph(self.builder, self.tab_changed)
tab.graph = tab.graph.open(file_chooser.path)
tab.area.graph = tab.graph
tab.changed = False
self.add_notebook_tab(tab)
self.tab_changed(tab)
del file_chooser
current_page_number = self.notebook.get_current_page()
tab = self.notebook.get_nth_page(current_page_number)
return tab, current_page_number
