rebind agda mode prefix

2023-11-04 10:57:56 +01:00 · 2023-11-04 10:57:56 +01:00 · 1262b1df2b
commit 1262b1df2b
parent fef6cbb1ef
1 changed files with 1 additions and 1 deletions
--- a/home/rachel.nix
+++ b/home/rachel.nix
@ -204,7 +204,7 @@ in
        let g:lightline = { 'colorscheme': 'gruvbox' }
        colorscheme gruvbox
        hi Normal guibg=NONE ctermbg=NONE
-
+        let g:cornelis_agda_prefix = "!"
        runtime agda-input.vim

        au BufRead,BufNewFile *.agda call AgdaFiletype()