Backport PR jupyterlab#7174: Fix tree URLs to work when there is a wo…

…rkspace in the URL.
meeseeksmachine · Sep 12, 2019 · 7baa037 · 7baa037
1 parent 8983786
commit 7baa037
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/packages/application-extension/src/index.tsx b/packages/application-extension/src/index.tsx
@@ -254,7 +254,7 @@ const tree: JupyterFrontEndPlugin<void> = {
     const { commands } = app;
     const treePattern = new RegExp(`^${paths.urls.tree}([^?]+)`);
     const workspacePattern = new RegExp(
-      `^${paths.urls.workspaces}[^?\/]+/tree/([^?]+)`
+      `^${paths.urls.workspaces}/[^?/]+/tree/([^?]+)`
     );
 
     commands.addCommand(CommandIDs.tree, {