Merge pull request #130 from favonia/restore-bindings

Add back deleted bindings
agda · Dec 2, 2023 · 494c57e · 494c57e
2 parents 5676d2b + e328106
commit 494c57e
Showing 1 changed file with 46 additions and 0 deletions.
diff --git a/agda-input.vim b/agda-input.vim
@@ -5,9 +5,53 @@ endif
 
 if !exists("g:cornelis_no_agda_input")
   " LaTeX symbols
+  call cornelis#bind_input(" ", "\u00a0")
   call cornelis#bind_input("!!", "‼")
   call cornelis#bind_input("!", "¡")
   call cornelis#bind_input("!?", "⁉")
+  call cornelis#bind_input("\"'", "“")
+  call cornelis#bind_input("\"<", "«")
+  call cornelis#bind_input("\">", "»")
+  call cornelis#bind_input("\"A", "Ä")
+  call cornelis#bind_input("\"E", "Ë")
+  call cornelis#bind_input("\"H", "Ḧ")
+  call cornelis#bind_input("\"I", "Ï")
+  call cornelis#bind_input("\"O", "Ö")
+  call cornelis#bind_input("\"U", "Ü")
+  call cornelis#bind_input("\"W", "Ẅ")
+  call cornelis#bind_input("\"X", "Ẍ")
+  call cornelis#bind_input("\"Y", "Ÿ")
+  call cornelis#bind_input("\"`", "„")
+  call cornelis#bind_input("\"a", "ä")
+  call cornelis#bind_input("\"e", "ë")
+  call cornelis#bind_input("\"h", "ḧ")
+  call cornelis#bind_input("\"i", "ï")
+  call cornelis#bind_input("\"o", "ö")
+  call cornelis#bind_input("\"t", "ẗ")
+  call cornelis#bind_input("\"u", "ü")
+  call cornelis#bind_input("\"w", "ẅ")
+  call cornelis#bind_input("\"x", "ẍ")
+  call cornelis#bind_input("\"y", "ÿ")
+  call cornelis#bind_input("\"{A}", "Ä")
+  call cornelis#bind_input("\"{E}", "Ë")
+  call cornelis#bind_input("\"{H}", "Ḧ")
+  call cornelis#bind_input("\"{I}", "Ï")
+  call cornelis#bind_input("\"{O}", "Ö")
+  call cornelis#bind_input("\"{U}", "Ü")
+  call cornelis#bind_input("\"{W}", "Ẅ")
+  call cornelis#bind_input("\"{X}", "Ẍ")
+  call cornelis#bind_input("\"{Y}", "Ÿ")
+  call cornelis#bind_input("\"{a}", "ä")
+  call cornelis#bind_input("\"{e}", "ë")
+  call cornelis#bind_input("\"{h}", "ḧ")
+  call cornelis#bind_input("\"{i}", "ï")
+  call cornelis#bind_input("\"{o}", "ö")
+  call cornelis#bind_input("\"{t}", "ẗ")
+  call cornelis#bind_input("\"{u}", "ü")
+  call cornelis#bind_input("\"{w}", "ẅ")
+  call cornelis#bind_input("\"{x}", "ẍ")
+  call cornelis#bind_input("\"{y}", "ÿ")
+  call cornelis#bind_input("\"{}", "¨")
   call cornelis#bind_input("#", "♯")
   call cornelis#bind_input("%", "％")
   call cornelis#bind_input("&", "⅋")
@@ -898,6 +942,7 @@ if !exists("g:cornelis_no_agda_input")
   call cornelis#bind_input("Yot", "Ϳ")
   call cornelis#bind_input("Zeta", "Ζ")
   call cornelis#bind_input("[[", "⟦")
+  call cornelis#bind_input("\"", "″")
   call cornelis#bind_input("\\", "\\")
   call cornelis#bind_input("]]", "⟧")
   call cornelis#bind_input("^", "̂")
@@ -1655,6 +1700,7 @@ if !exists("g:cornelis_no_agda_input")
   call cornelis#bind_input("neg", "¬")
   call cornelis#bind_input("neq", "≠")
   call cornelis#bind_input("nequiv", "≢")
+  call cornelis#bind_input("newline", "\u2028")
   call cornelis#bind_input("nexists", "∄")
   call cornelis#bind_input("ngeq", "≱")
   call cornelis#bind_input("ngeqq", "≱")