mirror of
https://github.com/microsoft/vscode.git
synced 2026-05-01 05:51:32 +01:00
[theme] merging default options bug
This commit is contained in:
@@ -40,7 +40,7 @@ export class Checkbox extends Widget {
|
||||
constructor(opts: ICheckboxOpts) {
|
||||
super();
|
||||
this._opts = objects.clone(opts);
|
||||
objects.mixin(this._opts, defaultOpts);
|
||||
objects.mixin(this._opts, defaultOpts, false);
|
||||
this._checked = this._opts.isChecked;
|
||||
|
||||
this.domNode = document.createElement('div');
|
||||
|
||||
Reference in New Issue
Block a user