Skip to content

Instantly share code, notes, and snippets.

@latant
Created May 4, 2021 08:07
Show Gist options
  • Save latant/d5039106c6a64bf28e0e4583655d3e60 to your computer and use it in GitHub Desktop.
Save latant/d5039106c6a64bf28e0e4583655d3e60 to your computer and use it in GitHub Desktop.
VSCode keybindings settings for rapid Prolog programming
[
{
"when": "editorTextFocus && editorLangId == prolog",
"key": "alt+enter",
"command": "extension.multiCommand.execute",
"args": {
"sequence": [
"workbench.action.files.save",
"workbench.action.terminal.focus",
{
"command": "workbench.action.terminal.sendSequence",
"args": {
"text": "consult(${fileBasenameNoExtension}).\n",
}
}
]
}
},
{
"when": "terminalFocus",
"key": "escape",
"command": "workbench.action.focusActiveEditorGroup",
},
]
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment