hacklab/strudel
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Merge pull request #773 from Dsm0/vscode-bindings

Browse source 
add vscode bindings
This commit is contained in:
Felix Roos 2023-11-02 08:57:14 +01:00 • committed by GitHub
commit 8d8a1f552d
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
4 changed files with 344 additions and 183 deletions
Download patch file Download diff file Expand all files Collapse all files

2
website/src/repl/Footer.jsx
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' }}
items={{ codemirror: 'Codemirror', vim: 'Vim', emacs: 'Emacs', vscode: 'VSCode' }}
></ButtonGroup>
</FormItem>
<FormItem label="Panel Position">