Method onKnownCompilerSelect

Extension/ui/settings.ts:205–217

()

    }

    private onKnownCompilerSelect(): void {
        if (this.updating) {
            return;
        }
        const el: HTMLSelectElement = <HTMLSelectElement>document.getElementById(elementId.knownCompilers);
        (<HTMLInputElement>document.getElementById(elementId.compilerPath)).value = el.value;
        this.onChanged(elementId.compilerPath);

        // Post message that this control was used for telemetry
        this.vsCodeApi.postMessage({
            command: "knownCompilerSelect"
        });
    }

    // To enable custom entries, the compiler path control is a text box on top of a select control.
    // This function ensures that the select control is updated when the text box is changed.