Add shortcuts extension

builder/index.js

@@ -81,7 +81,8 @@ async function main() {
         '@jupyterlab/notebook-extension:widget-factory',
         '@jupyterlab/notebook-extension:tracker'
       ].includes(id)
-    )
+    ),
+    require('@jupyterlab/shortcuts-extension')
   ];
 
   const extension_data = JSON.parse(

builder/package.json

@@ -18,6 +18,7 @@
     "@jupyterlab/mainmenu-extension": "^3.0.0-rc.10",
     "@jupyterlab/notebook-extension": "^3.0.0-rc.10",
     "@jupyterlab/rendermime-extension": "^3.0.0-rc.10",
+    "@jupyterlab/shortcuts-extension": "^3.0.0-rc.10",
     "@jupyterlab/theme-light-extension": "^3.0.0-rc.10",
     "@jupyterlab/coreutils": "~5.0.0-rc.10"
   },

jupyterlab_classic/__init__.py

@@ -6,7 +6,7 @@ from .serverextension import load_jupyter_server_extension
 def _jupyter_server_extension_paths():
     return [
         {
-            'module': 'jupyterlab'
+            'module': 'jupyterlab_classic'
         }
     ]