vim ergonomics

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

+        inoremap <C-Space> <Esc>
+
        au BufRead,BufNewFile *.agda call AgdaFiletype()
        au BufRead,BufNewFile *.lagda.* call AgdaFiletype()
        function! AgdaFiletype()