# HG changeset patch
# User wenzelm
# Date 1483461188 -3600
# Node ID 8ae1af3f88b1c453fd5d47eb85b614f0d5d60f8e
# Parent  452b4fb7927c089a98c7ff4d0daa4464449cc93d
more language support;

diff -r 452b4fb7927c -r 8ae1af3f88b1 src/Tools/VSCode/extension/isabelle-language.json
--- a/src/Tools/VSCode/extension/isabelle-language.json	Tue Jan 03 17:24:41 2017 +0100
+++ b/src/Tools/VSCode/extension/isabelle-language.json	Tue Jan 03 17:33:08 2017 +0100
@@ -1,6 +1,6 @@
 {
   "comments": {
-    "blockComment": [ "(*", "*)" ]
+    "blockComment": ["(*", "*)"]
   },
   "brackets": [
     ["(", ")"],
@@ -14,5 +14,35 @@
     ["⦇", "⦈"],
     ["⟦", "⟧"],
     ["⦃", "⦄"]
+  ],
+  "autoClosingPairs": [
+    { "open": "(", "close": ")" },
+    { "open": "[", "close": "]" },
+    { "open": "{", "close": "}" },
+    { "open": "«", "close": "»" },
+    { "open": "‹", "close": "›" },
+    { "open": "⟨", "close": "⟩" },
+    { "open": "⌈", "close": "⌉" },
+    { "open": "⌊", "close": "⌋" },
+    { "open": "⦇", "close": "⦈" },
+    { "open": "⟦", "close": "⟧" },
+    { "open": "⦃", "close": "⦄" },
+    { "open": "`", "close": "`", "notIn": ["string"] },
+    { "open": "\"", "close": "\"", "notIn": ["string"] }
+  ],
+  "surroundingPairs": [
+    ["(", ")"],
+    ["[", "]"],
+    ["{", "}"],
+    ["«", "»"],
+    ["‹", "›"],
+    ["⟨", "⟩"],
+    ["⌈", "⌉"],
+    ["⌊", "⌋"],
+    ["⦇", "⦈"],
+    ["⟦", "⟧"],
+    ["⦃", "⦄"],
+    ["`", "`"],
+    ["\"", "\""]
   ]
 }