def destroy(self): self.pageview.save_changes() if self.page.modified: return # Do not quit if page not saved self.pageview.page.set_ui_object(None) # XXX self.save_uistate() self.hide() # look more responsive self.notebook.index.stop_background_check() while Gtk.events_pending(): Gtk.main_iteration_do(False) Window.destroy(self) # gtk destroy & will also emit destroy signal
def destroy(self): self.pageview.save_changes() if self.page.modified: return # Do not quit if page not saved self._do_close() while Gtk.events_pending(): Gtk.main_iteration_do(False) self.notebook.index.stop_background_check() op = ongoing_operation(self.notebook) if op: op.wait() Window.destroy(self) # gtk destroy & will also emit destroy signal