Method updateCompilersFor

static/panes/diff.ts:570–582

(selectize: TomSelect, id: number | string)

    }

    updateCompilersFor(selectize: TomSelect, id: number | string) {
        selectize.clearOptions();
        for (const [_, compiler] of Object.entries(this.compilers)) {
            const optionId = compiler.id.toString();
            selectize.addOption(compiler);
            selectize.updateOption(optionId, compiler);
        }
        selectize.refreshOptions(false);
        const selectedId = id.toString();
        if (selectedId in this.compilers) {
            selectize.setValue(selectedId);
        }
    }

    updateCompilers() {
        if (this.lhs.id) this.updateCompilersFor(this.selectize.lhs, this.lhs.id);