From 959e8d0a616bf24a4d9cd26eea9e28b10307ff2c Mon Sep 17 00:00:00 2001 From: Nicolas Brichet Date: Thu, 7 Dec 2023 22:44:40 +0100 Subject: [PATCH] Add the code mirror binding plugin --- app/index.js | 1 + 1 file changed, 1 insertion(+) 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',