diff options
| author | Hans Hagen <pragma@wxs.nl> | 2019-06-14 18:53:48 +0200 |
|---|---|---|
| committer | Context Git Mirror Bot <phg@phi-gamma.net> | 2019-06-14 18:53:48 +0200 |
| commit | c3e821627fba8ecf4342582ed62e75c5ad36afc0 (patch) | |
| tree | cc1bee237f26ac5a5e2325a6869a8375e372aa4f /context/data/vscode/extensions/context/keybindings/context.json | |
| parent | 36ee3b791e253a00877a7b25e2d94b1dfc90a174 (diff) | |
| download | context-c3e821627fba8ecf4342582ed62e75c5ad36afc0.tar.gz | |
2019-06-14 17:56:00
Diffstat (limited to 'context/data/vscode/extensions/context/keybindings/context.json')
| -rw-r--r-- | context/data/vscode/extensions/context/keybindings/context.json | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/context/data/vscode/extensions/context/keybindings/context.json b/context/data/vscode/extensions/context/keybindings/context.json new file mode 100644 index 000000000..80bbc099b --- /dev/null +++ b/context/data/vscode/extensions/context/keybindings/context.json @@ -0,0 +1,20 @@ +[ + { + "args" : "process tex file", + "command" : "workbench.action.tasks.runTask", + "key" : "ctrl-F12", + "when" : "editorTextFocus && editorLangId == context.tex" + }, + { + "args" : "check tex file", + "command" : "workbench.action.tasks.runTask", + "key" : "F12", + "when" : "editorTextFocus && editorLangId == context.tex" + }, + { + "args" : "process lua file", + "command" : "workbench.action.tasks.runTask", + "key" : "ctrl-F12", + "when" : "editorTextFocus && editorLangId == context.cld" + } +]
\ No newline at end of file |