src/Tools/VSCode/extension/isabelle-language.json
changeset 64765 8ae1af3f88b1
parent 64764 452b4fb7927c
     1.1 --- a/src/Tools/VSCode/extension/isabelle-language.json	Tue Jan 03 17:24:41 2017 +0100
     1.2 +++ b/src/Tools/VSCode/extension/isabelle-language.json	Tue Jan 03 17:33:08 2017 +0100
     1.3 @@ -1,6 +1,6 @@
     1.4  {
     1.5    "comments": {
     1.6 -    "blockComment": [ "(*", "*)" ]
     1.7 +    "blockComment": ["(*", "*)"]
     1.8    },
     1.9    "brackets": [
    1.10      ["(", ")"],
    1.11 @@ -14,5 +14,35 @@
    1.12      ["⦇", "⦈"],
    1.13      ["⟦", "⟧"],
    1.14      ["⦃", "⦄"]
    1.15 +  ],
    1.16 +  "autoClosingPairs": [
    1.17 +    { "open": "(", "close": ")" },
    1.18 +    { "open": "[", "close": "]" },
    1.19 +    { "open": "{", "close": "}" },
    1.20 +    { "open": "«", "close": "»" },
    1.21 +    { "open": "‹", "close": "›" },
    1.22 +    { "open": "⟨", "close": "⟩" },
    1.23 +    { "open": "⌈", "close": "⌉" },
    1.24 +    { "open": "⌊", "close": "⌋" },
    1.25 +    { "open": "⦇", "close": "⦈" },
    1.26 +    { "open": "⟦", "close": "⟧" },
    1.27 +    { "open": "⦃", "close": "⦄" },
    1.28 +    { "open": "`", "close": "`", "notIn": ["string"] },
    1.29 +    { "open": "\"", "close": "\"", "notIn": ["string"] }
    1.30 +  ],
    1.31 +  "surroundingPairs": [
    1.32 +    ["(", ")"],
    1.33 +    ["[", "]"],
    1.34 +    ["{", "}"],
    1.35 +    ["«", "»"],
    1.36 +    ["‹", "›"],
    1.37 +    ["⟨", "⟩"],
    1.38 +    ["⌈", "⌉"],
    1.39 +    ["⌊", "⌋"],
    1.40 +    ["⦇", "⦈"],
    1.41 +    ["⟦", "⟧"],
    1.42 +    ["⦃", "⦄"],
    1.43 +    ["`", "`"],
    1.44 +    ["\"", "\""]
    1.45    ]
    1.46  }