Adding doc mode to IPaths from PageConfig.

packages/application/src/lab.ts

@@ -269,11 +269,14 @@ export namespace JupyterLab {
       base: PageConfig.getOption('baseUrl'),
       notFound: PageConfig.getOption('notFoundUrl'),
       app: PageConfig.getOption('appUrl'),
+      doc: PageConfig.getOption('docUrl'),
       static: PageConfig.getOption('staticUrl'),
       settings: PageConfig.getOption('settingsUrl'),
       themes: PageConfig.getOption('themesUrl'),
       tree: PageConfig.getOption('treeUrl'),
+      docTree: PageConfig.getOption('docTreeUrl'),
       workspaces: PageConfig.getOption('workspacesUrl'),
+      docWorkspaces: PageConfig.getOption('docWorkspacesUrl'),
       hubHost: PageConfig.getOption('hubHost') || undefined,
       hubPrefix: PageConfig.getOption('hubPrefix') || undefined,
       hubUser: PageConfig.getOption('hubUser') || undefined,