blob: 80bbc099b4bf2412dd4cfb5582acfefdfaca8de9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
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"
}
]
|