From 638f5c7323642214f9a2ae28eca8fcc31006f264 Mon Sep 17 00:00:00 2001
From: Felix Roos <flix91@gmail.com>
Date: Thu, 2 Nov 2023 08:48:11 +0100
Subject: [PATCH] rename bindings key

---
 packages/react/src/components/CodeMirror6.jsx | 3 +--
 website/src/repl/Footer.jsx                   | 2 +-
 2 files changed, 2 insertions(+), 3 deletions(-)

diff --git a/packages/react/src/components/CodeMirror6.jsx b/packages/react/src/components/CodeMirror6.jsx
index b74c5d4b..63d4d5a1 100644
--- a/packages/react/src/components/CodeMirror6.jsx
+++ b/packages/react/src/components/CodeMirror6.jsx
@@ -1,5 +1,4 @@
 import { autocompletion } from '@codemirror/autocomplete';
-import { selectAll } from '@codemirror/commands';
 import { Prec } from '@codemirror/state';
 import { javascript, javascriptLanguage } from '@codemirror/lang-javascript';
 import { ViewPlugin, EditorView, keymap } from '@codemirror/view';
@@ -82,7 +81,7 @@ export default function CodeMirror({
     let bindings = {
       vim,
       emacs,
-      vscodeExtension,
+      vscode: vscodeExtension,
     };
 
     if (bindings[keybindings]) {
diff --git a/website/src/repl/Footer.jsx b/website/src/repl/Footer.jsx
index 7aa59be7..9fb783a4 100644
--- a/website/src/repl/Footer.jsx
+++ b/website/src/repl/Footer.jsx
@@ -436,7 +436,7 @@ function SettingsTab({ scheduler }) {
         <ButtonGroup
           value={keybindings}
           onChange={(keybindings) => settingsMap.setKey('keybindings', keybindings)}
-          items={{ codemirror: 'Codemirror', vim: 'Vim', emacs: 'Emacs', vscodeExtension: 'VSCode' }}
+          items={{ codemirror: 'Codemirror', vim: 'Vim', emacs: 'Emacs', vscode: 'VSCode' }}
         ></ButtonGroup>
       </FormItem>
       <FormItem label="Panel Position">