diff --git a/src/sql/base/browser/ui/checkbox/checkbox.ts b/src/sql/base/browser/ui/checkbox/checkbox.ts index bad9ce3655..8c1016ca68 100644 --- a/src/sql/base/browser/ui/checkbox/checkbox.ts +++ b/src/sql/base/browser/ui/checkbox/checkbox.ts @@ -48,6 +48,9 @@ export class Checkbox extends Widget { this.onkeydown(this._el, e => { if (e.equals(KeyCode.Enter)) { this.checked = !this.checked; + // Manually fire the event since we stop the event propagation which means + // the onchange event won't fire. + this._onChange.fire(this.checked); e.stopPropagation(); } });