tuned whitespace;
authorwenzelm
Tue Jan 03 17:24:41 2017 +0100 (2017-01-03)
changeset 64764452b4fb7927c
parent 64763 20e498a28f5e
child 64765 8ae1af3f88b1
tuned whitespace;
src/Tools/VSCode/extension/isabelle-language.json
src/Tools/VSCode/extension/isabelle-ml-language.json
     1.1 --- a/src/Tools/VSCode/extension/isabelle-language.json	Tue Jan 03 17:21:37 2017 +0100
     1.2 +++ b/src/Tools/VSCode/extension/isabelle-language.json	Tue Jan 03 17:24:41 2017 +0100
     1.3 @@ -1,18 +1,18 @@
     1.4  {
     1.5 -    "brackets": [
     1.6 -        ["(", ")"],
     1.7 -        ["[", "]"],
     1.8 -        ["{", "}"],
     1.9 -        ["«", "»"],
    1.10 -        ["‹", "›"],
    1.11 -        ["⟨", "⟩"],
    1.12 -        ["⌈", "⌉"],
    1.13 -        ["⌊", "⌋"],
    1.14 -        ["⦇", "⦈"],
    1.15 -        ["⟦", "⟧"],
    1.16 -        ["⦃", "⦄"]
    1.17 -    ],
    1.18 -    "comments": {
    1.19 -        "blockComment": [ "(*", "*)" ]
    1.20 -    }
    1.21 +  "comments": {
    1.22 +    "blockComment": [ "(*", "*)" ]
    1.23 +  },
    1.24 +  "brackets": [
    1.25 +    ["(", ")"],
    1.26 +    ["[", "]"],
    1.27 +    ["{", "}"],
    1.28 +    ["«", "»"],
    1.29 +    ["‹", "›"],
    1.30 +    ["⟨", "⟩"],
    1.31 +    ["⌈", "⌉"],
    1.32 +    ["⌊", "⌋"],
    1.33 +    ["⦇", "⦈"],
    1.34 +    ["⟦", "⟧"],
    1.35 +    ["⦃", "⦄"]
    1.36 +  ]
    1.37  }
     2.1 --- a/src/Tools/VSCode/extension/isabelle-ml-language.json	Tue Jan 03 17:21:37 2017 +0100
     2.2 +++ b/src/Tools/VSCode/extension/isabelle-ml-language.json	Tue Jan 03 17:24:41 2017 +0100
     2.3 @@ -1,18 +1,18 @@
     2.4  {
     2.5 +  "comments": {
     2.6 +    "blockComment": [ "(*", "*)" ]
     2.7 +  },
     2.8 +  "brackets": [
     2.9 +    ["(", ")"],
    2.10 +    ["[", "]"],
    2.11 +    ["{", "}"]
    2.12 +  ],
    2.13    "autoClosingPairs": [
    2.14      { "open": "{", "close": "}" },
    2.15      { "open": "[", "close": "]" },
    2.16      { "open": "(", "close": ")" },
    2.17      { "open": "\"", "close": "\"", "notIn": [ "string" ] }
    2.18    ],
    2.19 -  "brackets": [
    2.20 -    ["(", ")"],
    2.21 -    ["[", "]"],
    2.22 -    ["{", "}"]
    2.23 -  ],
    2.24 -  "comments": {
    2.25 -    "blockComment": [ "(*", "*)" ]
    2.26 -  },
    2.27    "surroundingPairs": [
    2.28      [ "{", "}" ],
    2.29      [ "[", "]" ],