vscode-settings/profiles/main/data/keybindings-linux.json

12 lines
225 B
JSON
Raw Permalink Normal View History

// Empty
[
{
"key": "ctrl+shift+enter",
"command": "workbench.action.terminal.runSelectedText"
},
{
"key": "shift+enter",
"command": "language-julia.executeJuliaCodeInREPL"
}
]