From c905f3f1de90f1a1d6fbcb520daf39bc4899b741 Mon Sep 17 00:00:00 2001 From: "Afshin T. Darian" Date: Fri, 3 Jan 2020 15:28:16 +0000 Subject: [PATCH] Fix console restoration. --- packages/console-extension/src/index.ts | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/packages/console-extension/src/index.ts b/packages/console-extension/src/index.ts index d5a64802fa43..3b6ceb134136 100644 --- a/packages/console-extension/src/index.ts +++ b/packages/console-extension/src/index.ts @@ -169,7 +169,7 @@ async function activateConsole( kernelPreference: { ...kernelPreference } }; }, - name: widget => widget.console.sessionContext.session?.path ?? UUID.uuid4(), + name: widget => widget.console.sessionContext.path ?? UUID.uuid4(), when: manager.ready }); @@ -268,7 +268,9 @@ async function activateConsole( // Add the console panel to the tracker. We want the panel to show up before // any kernel selection dialog, so we do not await panel.session.ready; await tracker.add(panel); - panel.sessionContext.propertyChanged.connect(() => tracker.save(panel)); + panel.sessionContext.propertyChanged.connect(() => { + void tracker.save(panel); + }); shell.add(panel, 'main', { ref: options.ref,