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()
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()
