diff --git a/app/index.js b/app/index.js index 8e1864cdc..954deefd0 100644 --- 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) ),