|
@@ -128,6 +128,14 @@ namespace PageConfig {
|
|
|
return URLExt.join(getBaseUrl(), getOption('pageUrl'), 'tree');
|
|
|
}
|
|
|
|
|
|
+ /**
|
|
|
+ * Get the workspaces url for a JupyterLab application.
|
|
|
+ */
|
|
|
+ export
|
|
|
+ function getWorkspacesUrl(): string {
|
|
|
+ return URLExt.join(getBaseUrl(), getOption('pageUrl'), 'workspaces');
|
|
|
+ }
|
|
|
+
|
|
|
/**
|
|
|
* Get the base websocket url for a Jupyter application.
|
|
|
*/
|