controller_settings.py 文件源码

def schedule_save_config(self):
        """
        Schedules config saving in 1s.
        Done to prevent literal madness when user moves slider.
        """
        def cb(*a):
            self._timer = None
            self.app.save_config()

        if self._timer is not None:
            GLib.source_remove(self._timer)
        self._timer = GLib.timeout_add_seconds(1, cb)