31 lines
618 B
JSON
31 lines
618 B
JSON
{
|
|
"comments": {
|
|
"lineComment": "//",
|
|
"blockComment": ["(*", "*)"]
|
|
},
|
|
"brackets": [
|
|
["{", "}"],
|
|
["[", "]"],
|
|
["(", ")"]
|
|
],
|
|
"autoClosingPairs": [
|
|
["{", "}"],
|
|
["[", "]"],
|
|
["(", ")"],
|
|
["\"", "\""],
|
|
["'", "'"]
|
|
],
|
|
"surroundingPairs": [
|
|
["{", "}"],
|
|
["[", "]"],
|
|
["(", ")"],
|
|
["\"", "\""],
|
|
["'", "'"]
|
|
],
|
|
"wordPattern": "\\b[a-zA-Z_][a-zA-Z0-9_]*\\b",
|
|
"indentationRules": {
|
|
"increaseIndentPattern": "^.*\\b([Bb][Ee][Gg][Ii][Nn]|[Dd][Oo]|[Tt][Hh][Ee][Nn]|[Ee][Ll][Ss][Ee])\\b.*$",
|
|
"decreaseIndentPattern": "^\\s*\\b([Ee][Nn][Dd])\\b.*$"
|
|
}
|
|
}
|