Function quit

modules/script/mainloop.js:22–33

(name)

}

function quit(name) {
    if (!_mainLoops[name])
        throw new Error('No main loop with this id');

    let loop = _mainLoops[name];
    _mainLoops[name] = null;

    if (!loop.is_running())
        throw new Error('Main loop was stopped already');

    loop.quit();
}

function idle_source(handler, priority) {
    let s = GLib.idle_source_new();