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