author | wenzelm |
Mon, 02 Jan 2017 14:44:14 +0100 | |
changeset 64752 | c23c754f8c58 |
child 64764 | 452b4fb7927c |
permissions | -rw-r--r-- |
{ "autoClosingPairs": [ { "open": "{", "close": "}" }, { "open": "[", "close": "]" }, { "open": "(", "close": ")" }, { "open": "\"", "close": "\"", "notIn": [ "string" ] } ], "brackets": [ ["(", ")"], ["[", "]"], ["{", "}"] ], "comments": { "blockComment": [ "(*", "*)" ] }, "surroundingPairs": [ [ "{", "}" ], [ "[", "]" ], [ "(", ")" ], [ "\"", "\"" ] ] }