Use default router from lab

Author: jtpio

packages/application-extension/src/index.ts

@@ -6,8 +6,7 @@ import {
   IRouter,
   ITreePathUpdater,
   JupyterFrontEnd,
-  JupyterFrontEndPlugin,
-  Router
+  JupyterFrontEndPlugin
 } from '@jupyterlab/application';
 
 import {
@@ -295,31 +294,6 @@ const paths: JupyterFrontEndPlugin<JupyterFrontEnd.IPaths> = {
   }
 };
 
-/**
- * The default URL router provider.
- */
-const router: JupyterFrontEndPlugin<IRouter> = {
-  id: '@jupyter-notebook/application-extension:router',
-  autoStart: true,
-  provides: IRouter,
-  requires: [JupyterFrontEnd.IPaths],
-  activate: (app: JupyterFrontEnd, paths: JupyterFrontEnd.IPaths) => {
-    const { commands } = app;
-    const base = paths.urls.base;
-    const router = new Router({ base, commands });
-    void app.started.then(() => {
-      // Route the very first request on load.
-      void router.route();
-
-      // Route all pop state events.
-      window.addEventListener('popstate', () => {
-        void router.route();
-      });
-    });
-    return router;
-  }
-};
-
 /**
  * The default session dialogs plugin
  */
@@ -932,7 +906,6 @@ const plugins: JupyterFrontEndPlugin<any>[] = [
   opener,
   pages,
   paths,
-  router,
   sessionDialogs,
   shell,
   sidebarVisibility,

packages/docmanager-extension/src/index.ts

@@ -15,7 +15,7 @@ import { IDocumentWidget, DocumentRegistry } from '@jupyterlab/docregistry';
 import { Signal } from '@lumino/signaling';
 
 /**
- * A plugin to open document in a new browser tab.
+ * A plugin to open documents in a new browser tab.
  *
  */
 const opener: JupyterFrontEndPlugin<IDocumentWidgetOpener> = {