def destroy(self, widget): self.main_window.hide() self.playlist.quit() util.write_config(self.config) gtk.main_quit()
def quit_panucci(self): self.main_window.hide() self.playlist.quit() util.write_config(self.config) self.app.exit()
def about_to_quit_callback(self): self.playlist.quit() util.write_config(self.config)