Johannes Rieken 2021-03-09 19:40:28 +01:00
parent 0e43220113
commit 0f042b2c85
No known key found for this signature in database
GPG key ID: 96634B5AF12F8798

View file

@ -297,6 +297,7 @@ export class NotebookEditorOptions extends EditorOptions {
super();
this.overwrite(options);
this.cellOptions = options.cellOptions;
this.cellSelections = options.cellSelections;
}
with(options: Partial<NotebookEditorOptions>): NotebookEditorOptions {