Method onConfigSelect

Extension/ui/settings.ts:191–203

()

    }

    private onConfigSelect(): void {
        if (this.updating) {
            return;
        }

        const el: HTMLSelectElement = <HTMLSelectElement>document.getElementById(elementId.configSelection);
        (<HTMLInputElement>document.getElementById(elementId.configName)).value = el.value;

        this.vsCodeApi.postMessage({
            command: "configSelect",
            index: el.selectedIndex
        });
    }

    private onKnownCompilerSelect(): void {
        if (this.updating) {