Method schedule

src/utils/async.ts:64–80

Call `f` in about `delayMs` milliseconds. * If this function is called multiple times before `f` runs, `f` will still only be called once. * * If `schedule` is called while `f` is running (it is asynchronous) then `f` will be called again * as soon as `f` has finished its current

()

     * See https://docs.gtk.org/glib/main-loop.html
     */
    schedule() {
        if (this.running) {
            this.runAgain = true;
        } else if (this.timeoutId === undefined) {
            this.timeoutId = Async.addTimeout(
                GLib.PRIORITY_DEFAULT,
                this.delayMs,
                () => {
                    // Note: need to manually catch exceptions in async functions, otherwise they will not be logged
                    this.runInternal().catch(logAsyncException);
                    return GLib.SOURCE_REMOVE;
                }
            );
        } else {
            // Already scheduled and not running. We can just sit back and wait.
        }
    }

    private async runInternal() {
        assert(