|
@@ -231,7 +231,7 @@ const tree: JupyterLabPlugin<void> = {
|
|
|
const treeMatch = args.path.match(Patterns.tree);
|
|
|
const workspaceMatch = args.path.match(Patterns.workspace);
|
|
|
const match = treeMatch || workspaceMatch;
|
|
|
- const path = decodeURIComponent(match[1]);
|
|
|
+ const path = decodeURI(match[1]);
|
|
|
const { page, workspaces } = app.info.urls;
|
|
|
const workspace = PathExt.basename(app.info.workspace);
|
|
|
const url =
|