30 lines
572 B
JSON
30 lines
572 B
JSON
{
|
|
"comments": {
|
|
"lineComment": ";"
|
|
},
|
|
"wordPattern": "[a-zA-Z][a-zA-Z0-9_]*",
|
|
"indentationRules": {
|
|
"increaseIndentPattern": ":-\\s*$",
|
|
"decreaseIndentPattern": "^\\s*\\."
|
|
},
|
|
"brackets": [
|
|
["{", "}"],
|
|
["[", "]"],
|
|
["(", ")"]
|
|
],
|
|
"autoClosingPairs": [
|
|
["{", "}"],
|
|
["[", "]"],
|
|
["(", ")"],
|
|
["\"", "\""],
|
|
["'", "'"]
|
|
],
|
|
"surroundingPairs": [
|
|
["{", "}"],
|
|
["[", "]"],
|
|
["(", ")"],
|
|
["\"", "\""],
|
|
["'", "'"]
|
|
]
|
|
}
|