-
Notifications
You must be signed in to change notification settings - Fork 0
/
language-configuration.json
51 lines (51 loc) · 1.16 KB
/
language-configuration.json
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
{
"comments": {
// symbol used for single line comment. Remove this entry if your language does not support line comments
"lineComment": "//",
// symbols used for start and end a block comment. Remove this entry if your language does not support block comments
"blockComment": [ "/*", "*/" ]
},
// symbols used as brackets
"brackets": [
["{", "}"],
["[", "]"],
["(", ")"]
],
"colorizedBracketPairs": [
["{", "}"],
["[", "]"],
["(", ")"]
],
// symbols that are auto closed when typing
"autoClosingPairs": [
["{", "}"],
["[", "]"],
["(", ")"],
["\"", "\""],
["'", "'"]
],
// symbols that can be used to surround a selection
"surroundingPairs": [
["{", "}"],
["[", "]"],
["(", ")"],
["\"", "\""],
["'", "'"]
],
"folding": {
"markers": {
"start": "^\\s*(\\w*\\(.*\\)\\s*<-|(check|allow|deny) if).*(?<!;)$",
"end": ";"
}
},
"onEnterRules": [
{
"beforeText": "\\s*(\\w*\\(.*\\)\\s*<-|(check|allow|deny) if).*(?<!;)$",
"action": { "indent": "indent" }
},
{
"beforeText": ";",
"action": { "indent": "outdent" }
},
]
}