Add the code mirror binding plugin (#62)

jupyterlab-contrib · Dec 8, 2023 · 3178d8e · 3178d8e
1 parent d082264
commit 3178d8e
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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',