def quit(self, *ignored): if self.current_engine.playing: self.current_engine.stop() self._save_settings() gtk.main_quit() # quit()