From 688da288be81e1aa2366473226ea986a353694d1 Mon Sep 17 00:00:00 2001
From: Jeremy Tuloup <jeremy.tuloup@gmail.com>
Date: Wed, 12 Oct 2022 14:45:51 +0000
Subject: [PATCH] Fix codemirror commands

---
 app/index.js | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/app/index.js b/app/index.js
index c31be3091..b91ac36e8 100644
--- a/app/index.js
+++ b/app/index.js
@@ -93,10 +93,7 @@ async function main() {
       ].includes(id)
     ),
     require('@jupyterlab/codemirror-extension').default.filter(({ id }) =>
-      [
-        '@jupyterlab/codemirror-extension:services',
-        '@jupyterlab/codemirror-extension:commands'
-      ].includes(id)
+      ['@jupyterlab/codemirror-extension:services'].includes(id)
     ),
     require('@jupyterlab/completer-extension').default.filter(({ id }) =>
       [
@@ -231,6 +228,9 @@ async function main() {
             '@jupyterlab/fileeditor-extension:completer',
             '@jupyterlab/fileeditor-extension:search'
           ].includes(id)
+        ),
+        require('@jupyterlab/codemirror-extension').default.filter(({ id }) =>
+          ['@jupyterlab/codemirror-extension:commands'].includes(id)
         )
       ]);
       break;