Add the codemirror singleton plugin

5 years ago · 8d5c12dfac
parent 17e7b59628
commit 8d5c12dfac
1 changed files with 4 additions and 1 deletions
--- a/builder/index.js
+++ b/builder/index.js
@ -88,7 +88,10 @@ async function main() {
      ].includes(id)
    ),
    require('@jupyterlab/codemirror-extension').default.filter(({ id }) =>
-      ['@jupyterlab/codemirror-extension:services'].includes(id)
+      [
+        '@jupyterlab/codemirror-extension:services',
+        '@jupyterlab/codemirror-extension:codemirror'
+      ].includes(id)
    ),
    require('@jupyterlab/completer-extension').default.filter(({ id }) =>
      ['@jupyterlab/completer-extension:manager'].includes(id)