| 12345678910 |
- {
- "comments": {"blockComment": ["(*", "*)"]},
- "brackets": [["(", ")"], ["[", "]"]],
- "autoClosingPairs": [{"open": "(", "close": ")"}, {"open": "[", "close": "]"}],
- "surroundingPairs": [["(", ")"], ["[", "]"]],
- "indentationRules": {
- "increaseIndentPattern": "^\\s*(MODULE|DEFINITION\\s+MODULE|PROCEDURE|IF|ELSIF|ELSE|CASE|FOR|WHILE|REPEAT|LOOP|RECORD)\\b.*$",
- "decreaseIndentPattern": "^\\s*(END|ELSE|ELSIF|UNTIL)\\b.*$"
- }
- }
|
