Fix handling of the codemirror extension

Author: jtpio

app/index.js

@@ -95,7 +95,7 @@ async function main() {
     require('@jupyterlab/codemirror-extension').default.filter(({ id }) =>
       [
         '@jupyterlab/codemirror-extension:services',
-        '@jupyterlab/codemirror-extension:codemirror'
+        '@jupyterlab/codemirror-extension:commands'
       ].includes(id)
     ),
     require('@jupyterlab/completer-extension').default.filter(({ id }) =>
@@ -226,9 +226,6 @@ async function main() {
     }
     case 'edit': {
       baseMods = baseMods.concat([
-        require('@jupyterlab/codemirror-extension').default.filter(({ id }) =>
-          ['@jupyterlab/codemirror-extension:commands'].includes(id)
-        ),
         require('@jupyterlab/fileeditor-extension').default.filter(({ id }) =>
           [
             '@jupyterlab/fileeditor-extension:completer',

app/package.json

@@ -31,6 +31,7 @@
     "@jupyterlab/celltags": "~4.0.0-alpha.15",
     "@jupyterlab/celltags-extension": "~4.0.0-alpha.15",
     "@jupyterlab/codeeditor": "~4.0.0-alpha.15",
+    "@jupyterlab/codemirror": "~4.0.0-alpha.15",
     "@jupyterlab/codemirror-extension": "~4.0.0-alpha.15",
     "@jupyterlab/collaboration": "~4.0.0-alpha.15",
     "@jupyterlab/collaboration-extension": "~4.0.0-alpha.15",