Method toggleWebGl

frontend/app/view/term/term-model.ts:532–538

()

    }

    toggleWebGl() {
        if (!this.termRef.current) {
            return;
        }
        const renderer = this.termRef.current.getTermRenderer() === "webgl" ? "dom" : "webgl";
        this.termRef.current.setTermRenderer(renderer);
    }

    triggerRestartAtom() {
        globalStore.set(this.isRestarting, true);