Method onChanged

Extension/ui/settings.ts:246–260

(id: string)

    }

    private onChanged(id: string): void {
        if (this.updating) {
            return;
        }

        const el: HTMLInputElement = <HTMLInputElement>document.getElementById(id);
        if (id === elementId.compilerPath) {
            this.fixKnownCompilerSelection();
        }
        this.vsCodeApi.postMessage({
            command: "change",
            key: id,
            value: el.value
        });
    }

    private onMessageReceived(e: MessageEvent): void {
        const message: any = e.data; // The json data that the extension sent