feat: auto-close angle brackets (#405)

leanprover · Mar 14, 2024 · 62ff13b · 62ff13b
1 parent 20b5310
commit 62ff13b
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/vscode-lean4/language-configuration.json b/vscode-lean4/language-configuration.json
@@ -63,14 +63,15 @@
         ["%[", "]"],
         ["{", "}"],
         ["⁅", "⁆"],
+        ["\\[-", "-]"],
         ["⟮", "⟯"],
         ["⁽", "⁾"],
         ["₍", "₎"],
-        ["〈", "〉"],
         ["⎴", "⎵"],
         ["⟅", "⟆"],
         ["⟦", "⟧"],
         ["⟨", "⟩"],
+        ["\\<", ">"],
         ["⟪", "⟫"],
         ["⦃", "⦄"],
         ["〈", "〉"],