From 5097031ac08701f69f8f844c94881d5be56e5deb Mon Sep 17 00:00:00 2001 From: Maximillian Date: Fri, 20 Sep 2019 14:27:48 -0700 Subject: [PATCH] apply options to initial instance --- packages/application/src/lab.ts | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/packages/application/src/lab.ts b/packages/application/src/lab.ts index 55f38e44e8e8..551d68f58618 100644 --- a/packages/application/src/lab.ts +++ b/packages/application/src/lab.ts @@ -25,7 +25,7 @@ export class JupyterLab extends JupyterFrontEnd { * Construct a new JupyterLab object. */ constructor(options: JupyterLab.IOptions = { shell: new LabShell() }) { - super({ shell: options.shell || new LabShell() }); + super({ ...options, shell: options.shell || new LabShell() }); this.restored = this.shell.restored .then(() => undefined) .catch(() => undefined);