misc: it looks like I've broken the extension :(

aya-prover · May 30, 2024 · 5647d03 · 5647d03
1 parent dea6aee
commit 5647d03
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 6 deletions.
diff --git a/.vscodeignore b/.vscodeignore
@@ -9,3 +9,4 @@ vsc-extension-quickstart.md
 **/.eslintrc.json
 **/*.map
 **/*.ts
+.github/*
diff --git a/language-configuration.json b/language-configuration.json
@@ -4,16 +4,12 @@
         "blockComment": [ "/*", "*/" ]
     },
     "brackets": [
-        ["{|", "|}"],
-        ["[|", "|]"],
         ["(|", "|)"],
         ["{", "}"],
         ["[", "]"],
         ["(", ")"]
     ],
     "colorizedBracketPairs": [
-        ["{|", "|}"],
-        ["[|", "|]"],
         ["(|", "|)"],
         ["{", "}"],
         ["[", "]"],
@@ -23,8 +19,6 @@
     "autoClosingPairs": [
         { "open": "\"", "close": "\"", "notIn": ["string"] },
         { "open": "/*", "close": " */", "notIn": ["string"] },
-        ["{|", "|}"],
-        ["[|", "|]"],
         ["(|", "|)"],
         ["{", "}"],
         ["[", "]"],