Method setKnownCompilers

Extension/ui/settings.ts:371–406

(compilers: string[])

    }

    private setKnownCompilers(compilers: string[]): void {
        this.updating = true;
        try {
            const list: HTMLSelectElement = <HTMLSelectElement>document.getElementById(elementId.knownCompilers);

            // No need to add items unless webview is reloaded, in which case it will not have any elements.
            // Otherwise, add items again.
            if (list.firstChild) {
                return;
            }

            if (compilers.length === 0) {
                // Get HTML element containing the string, as we can't localize strings in HTML js
                const noCompilerSpan: HTMLSpanElement = <HTMLSpanElement>document.getElementById(elementId.noCompilerPathsDetected);
                const option: HTMLOptionElement = document.createElement("option");
                option.text = noCompilerSpan.textContent ?? "";
                option.disabled = true;
                list.append(option);
            } else {
                for (const path of compilers) {
                    const option: HTMLOptionElement = document.createElement("option");
                    option.text = path;
                    option.value = path;
                    list.append(option);
                }
            }

            this.showElement(elementId.compilerPath, true);
            this.showElement(elementId.knownCompilers, true);

            // Initialize list with no selected item
            list.value = "";
        } finally {
            this.updating = false;
        }
    }

    private showElement(elementID: string, show: boolean): void {
        // eslint-disable-next-line @typescript-eslint/no-non-null-assertion