From 47e400bfcfcaaf3081ccd5773a438145c2cd36e9 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20Collonval?= Date: Thu, 2 Sep 2021 10:07:50 +0200 Subject: [PATCH] Fix tree path builder --- packages/application-extension/src/index.ts | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/packages/application-extension/src/index.ts b/packages/application-extension/src/index.ts index d2716256b..3e2aa5d43 100644 --- a/packages/application-extension/src/index.ts +++ b/packages/application-extension/src/index.ts @@ -556,13 +556,13 @@ const treePathUpdater: JupyterFrontEndPlugin = { if (treePath !== PageConfig.getOption('treePath')) { const path = URLExt.join( PageConfig.getOption('baseUrl') || '/', - PageConfig.getOption('frontendUrl'), + 'retro', 'tree', - treePath + URLExt.encodeParts(treePath) ); router.navigate(path, { skipRouting: true }); // Persist the new tree path to PageConfig as it is used elsewhere at runtime. - PageConfig.setOption('treePath', URLExt.encodeParts(treePath)); + PageConfig.setOption('treePath', treePath); } } return updateTreePath;