Add workspace to IInfo

packages/application/src/lab.ts

@@ -248,6 +248,12 @@ export namespace JupyterLab {
      * Whether files are cached on the server.
      */
     readonly filesCached: boolean;
+
+    /**
+     * The workspace name provided by the server, or 'default' if the URL doesn't explicitly
+     * name a workspace.
+     */
+    readonly workspace: string;
   }
 
   /**
@@ -258,7 +264,8 @@ export namespace JupyterLab {
     deferred: { patterns: [], matches: [] },
     disabled: { patterns: [], matches: [] },
     mimeExtensions: [],
-    filesCached: PageConfig.getOption('cacheFiles').toLowerCase() === 'true'
+    filesCached: PageConfig.getOption('cacheFiles').toLowerCase() === 'true',
+    workspace: PageConfig.getOption('workspace')
   };
 
   /**