More fixes

Author: jtpio

.gitignore

@@ -126,3 +126,6 @@ ui-tests/playwright-report
 
 # VSCode
 .vscode
+
+# RTC
+.jupyter_ystore.db

app/package.json

@@ -119,6 +119,7 @@
     "@jupyterlab/cell-toolbar-extension": "^4.0.0-alpha.15",
     "@jupyterlab/celltags": "^4.0.0-alpha.15",
     "@jupyterlab/celltags-extension": "^4.0.0-alpha.15",
+    "@jupyterlab/codemirror": "^4.0.0-alpha.15",
     "@jupyterlab/codemirror-extension": "^4.0.0-alpha.15",
     "@jupyterlab/collaboration-extension": "^4.0.0-alpha.15",
     "@jupyterlab/completer-extension": "^4.0.0-alpha.15",
@@ -215,6 +216,7 @@
       "@jupyterlab/cell-toolbar",
       "@jupyterlab/celltags",
       "@jupyterlab/codeeditor",
+      "@jupyterlab/codemirror",
       "@jupyterlab/collaboration",
       "@jupyterlab/completer",
       "@jupyterlab/console",

packages/application-extension/package.json

@@ -45,7 +45,6 @@
     "@jupyterlab/apputils": "^4.0.0-alpha.15",
     "@jupyterlab/celltags": "^4.0.0-alpha.15",
     "@jupyterlab/codeeditor": "^4.0.0-alpha.15",
-    "@jupyterlab/codemirror": "^4.0.0-alpha.15",
     "@jupyterlab/console": "^4.0.0-alpha.15",
     "@jupyterlab/coreutils": "^6.0.0-alpha.15",
     "@jupyterlab/docmanager": "^4.0.0-alpha.15",

packages/docmanager-extension/src/index.ts

@@ -46,6 +46,8 @@ const opener: JupyterFrontEndPlugin<IDocumentWidgetOpener> = {
             url = `${url}?factory=${widgetName}`;
           }
           window.open(url);
+          // dispose the widget since it is not used on this page
+          widget.dispose();
           return;
         }