Method onRequestCompilation

static/panes/executor.ts:1072–1076

(editorId: number | boolean, treeId: number | boolean)

    }

    onRequestCompilation(editorId: number | boolean, treeId: number | boolean): void {
        if (editorId === this.sourceEditorId || (treeId && treeId === this.sourceTreeId)) {
            this.compile();
        }
    }

    updateCompilerInfo(): void {
        this.updateCompilerName();