def _on_destroy(self, widget, event): # Handles window destory (saves tabs if required) # Clear old document list self._config.remove_section("documents") self._docs = self._get_doc_list() # Check if there is anything to save if len(self._docs) > 0: # Check if we need ask a user to save tabs if self._config.getboolean("common", "save_prompt"): # Create and run prompt dialog dlg_save = exit_dlg.save_dlg(None, self._config) dlg_save.connect("response", self._on_dlg_save_response) dlg_save.run() else: self._save_tabs() self._dlg_conf.write_config()
def _on_destroy(self, widget, event): # Handles window destory (saves tabs if required) # Clear old document list self._config.remove_section("documents") self._docs = self._get_doc_list() # Check if there is anything to save if len(self._docs) > 0: # Check if we need ask a user to save tabs if self._config.getboolean("common", "save_prompt"): # Create and run prompt dialog # dlg_save = gtk.MessageDialog(None, gtk.DIALOG_MODAL, gtk.MESSAGE_QUESTION, gtk.BUTTONS_YES_NO, "Reopen tabs on next run?") dlg_save = exit_dlg.save_dlg(None, self._config) dlg_save.connect("response", self._on_dlg_save_response) dlg_save.run() else: self._save_tabs() self._dlg_conf.write_config()