Add angle brackets to wordPattern

leanprover · Sep 7, 2023 · a8659be · a8659be
1 parent 2349670
commit a8659be
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/vscode-lean4/language-configuration.json b/vscode-lean4/language-configuration.json
@@ -130,5 +130,5 @@
         ["\"", "\""],
         ["'", "'"]
     ],
-    "wordPattern" : "([^`~@$%^&*()\\-=+\\[{\\]}⟨⟩⦃⦄⟦⟧⟮⟯‹›\\\\|;:\",./\\s]+)"
+    "wordPattern" : "([^`~@$%^&*()\\-=+\\[{\\]}⟨⟩⦃⦄⟦⟧⟮⟯‹›<>\\\\|;:\",./\\s]+)"
 }