Method fixKnownCompilerSelection

Extension/ui/settings.ts:221–231

()

    // 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.
    private fixKnownCompilerSelection(): void {
        const compilerPath = (<HTMLInputElement>document.getElementById(elementId.compilerPath)).value.toLowerCase();
        const knownCompilers = <HTMLSelectElement>document.getElementById(elementId.knownCompilers);
        for (let n = 0; n < knownCompilers.options.length; n++) {
            if (compilerPath === knownCompilers.options[n].value.toLowerCase()) {
                knownCompilers.value = knownCompilers.options[n].value;
                return;
            }
        }
        knownCompilers.value = '';
    }

    private onChangedCheckbox(id: string): void {
        if (this.updating) {