wenzelm@64605: {
wenzelm@64764:   "comments": {
wenzelm@64765:     "blockComment": ["(*", "*)"]
wenzelm@64764:   },
wenzelm@64764:   "brackets": [
wenzelm@64764:     ["(", ")"],
wenzelm@64764:     ["[", "]"],
wenzelm@64764:     ["{", "}"],
wenzelm@64764:     ["«", "»"],
wenzelm@64764:     ["‹", "›"],
wenzelm@64764:     ["⟨", "⟩"],
wenzelm@64764:     ["⌈", "⌉"],
wenzelm@64764:     ["⌊", "⌋"],
wenzelm@64764:     ["⦇", "⦈"],
wenzelm@64764:     ["⟦", "⟧"],
wenzelm@64764:     ["⦃", "⦄"]
wenzelm@64765:   ],
wenzelm@64765:   "autoClosingPairs": [
wenzelm@64765:     { "open": "(", "close": ")" },
wenzelm@64765:     { "open": "[", "close": "]" },
wenzelm@64765:     { "open": "{", "close": "}" },
wenzelm@64765:     { "open": "«", "close": "»" },
wenzelm@64765:     { "open": "‹", "close": "›" },
wenzelm@64765:     { "open": "⟨", "close": "⟩" },
wenzelm@64765:     { "open": "⌈", "close": "⌉" },
wenzelm@64765:     { "open": "⌊", "close": "⌋" },
wenzelm@64765:     { "open": "⦇", "close": "⦈" },
wenzelm@64765:     { "open": "⟦", "close": "⟧" },
wenzelm@64765:     { "open": "⦃", "close": "⦄" },
wenzelm@64765:     { "open": "`", "close": "`", "notIn": ["string"] },
wenzelm@64765:     { "open": "\"", "close": "\"", "notIn": ["string"] }
wenzelm@64765:   ],
wenzelm@64765:   "surroundingPairs": [
wenzelm@64765:     ["(", ")"],
wenzelm@64765:     ["[", "]"],
wenzelm@64765:     ["{", "}"],
wenzelm@64765:     ["«", "»"],
wenzelm@64765:     ["‹", "›"],
wenzelm@64765:     ["⟨", "⟩"],
wenzelm@64765:     ["⌈", "⌉"],
wenzelm@64765:     ["⌊", "⌋"],
wenzelm@64765:     ["⦇", "⦈"],
wenzelm@64765:     ["⟦", "⟧"],
wenzelm@64765:     ["⦃", "⦄"],
wenzelm@64765:     ["`", "`"],
wenzelm@64765:     ["\"", "\""]
wenzelm@64764:   ]
wenzelm@64605: }