rename bindings key

This commit is contained in:
Felix Roos 2023-11-02 08:48:11 +01:00
parent 0c2838cc90
commit 638f5c7323
2 changed files with 2 additions and 3 deletions

View File

@ -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]) {

View File

@ -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">