Include codemirror commands plugin in edit

4 years ago · 6357d3f74d
parent 00587294b6
commit 6357d3f74d
1 changed files with 3 additions and 0 deletions
--- a/app/index.js
+++ b/app/index.js
@ -196,6 +196,9 @@ 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'].includes(id)
        ),