Method onChangedCheckbox

Extension/ui/settings.ts:233–244

(id: string)

    }

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

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

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