src/Tools/VSCode/extension/isabelle-ml-language.json
changeset 64764 452b4fb7927c
parent 64752 c23c754f8c58
     1.1 --- a/src/Tools/VSCode/extension/isabelle-ml-language.json	Tue Jan 03 17:21:37 2017 +0100
     1.2 +++ b/src/Tools/VSCode/extension/isabelle-ml-language.json	Tue Jan 03 17:24:41 2017 +0100
     1.3 @@ -1,18 +1,18 @@
     1.4  {
     1.5 +  "comments": {
     1.6 +    "blockComment": [ "(*", "*)" ]
     1.7 +  },
     1.8 +  "brackets": [
     1.9 +    ["(", ")"],
    1.10 +    ["[", "]"],
    1.11 +    ["{", "}"]
    1.12 +  ],
    1.13    "autoClosingPairs": [
    1.14      { "open": "{", "close": "}" },
    1.15      { "open": "[", "close": "]" },
    1.16      { "open": "(", "close": ")" },
    1.17      { "open": "\"", "close": "\"", "notIn": [ "string" ] }
    1.18    ],
    1.19 -  "brackets": [
    1.20 -    ["(", ")"],
    1.21 -    ["[", "]"],
    1.22 -    ["{", "}"]
    1.23 -  ],
    1.24 -  "comments": {
    1.25 -    "blockComment": [ "(*", "*)" ]
    1.26 -  },
    1.27    "surroundingPairs": [
    1.28      [ "{", "}" ],
    1.29      [ "[", "]" ],