diff --git a/app/index.js b/app/index.js index 2e5c3bb..1265641 100644 --- a/app/index.js +++ b/app/index.js @@ -104,6 +104,7 @@ async function main() { require('@jupyterlab/codemirror-extension').default.filter(({ id }) => [ '@jupyterlab/codemirror-extension:services', + '@jupyterlab/codemirror-extension:binding', '@jupyterlab/codemirror-extension:codemirror', '@jupyterlab/codemirror-extension:languages', '@jupyterlab/codemirror-extension:extensions',