use our own input method in vscode

The lean one was annoying for \{...}
2025-04-05 10:31:32 -07:00
parent 8c983dd571
commit 590f344516
4 changed files with 52 additions and 11 deletions
--- a/newt-vscode/src/abbrev.ts
+++ b/newt-vscode/src/abbrev.ts
@@ -0,0 +1,10 @@
+export const ABBREV: Record<string, string> = {
+  "\\x": "×",
+  "\\r": "→",
+  "\\all": "∀",
+  "\\\\": "\\",
+  "\\==": "≡",
+  "\\circ": "∘",
+  "\\1": "₁",
+  "\\2": "₂",
+};