From 16dfce7e6e523addf852139695df8a8b05d641c9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?L=C3=A9ana=20=E6=B1=9F?= <leana.jiang+git@icloud.com>
Date: Sun, 25 Jan 2026 11:49:00 +0100
Subject: [PATCH] nvim: move out cornelis autocommands to avoid duplication

---
 .config/nvim/ftplugin/agda.vim   | 21 +--------------------
 .config/nvim/plugin/cornelis.vim | 17 +++++++++++++++++
 2 files changed, 18 insertions(+), 20 deletions(-)
 create mode 100644 .config/nvim/plugin/cornelis.vim

diff --git a/.config/nvim/ftplugin/agda.vim b/.config/nvim/ftplugin/agda.vim
index 74a49940..3c80e715 100644
--- a/.config/nvim/ftplugin/agda.vim
+++ b/.config/nvim/ftplugin/agda.vim
@@ -150,26 +150,7 @@ imap <buffer> \Chi Χ
 imap <buffer> \Psi Ψ
 imap <buffer> \Omega Ω
 
-" autoload
-function! CornelisLoadWrapper()
-  if exists(":CornelisLoad") ==# 2
-    CornelisLoad
-  endif
-endfunction
-
-au BufReadPre *.agda call CornelisLoadWrapper()
-au BufReadPre *.lagda* call CornelisLoadWrapper()
-
-au BufRead,BufNewFile *.agda call AgdaFiletype()
-au BufRead,BufNewFile *.lagda* call AgdaFiletype()
-au QuitPre *.agda :CornelisCloseInfoWindows
-au QuitPre *.lagda* :CornelisCloseInfoWindows
-
-" autoreload at file write
-au BufWritePost *.agda execute "normal! :CornelisLoad\<CR>"
-au BufWritePost *.lagda* execute "normal! :CornelisLoad\<CR>"
-
-" default cornelis config
+" default cornelis mapping
 nnoremap <buffer> <leader>l :CornelisLoad<CR>
 nnoremap <buffer> <leader>r :CornelisRefine<CR>
 nnoremap <buffer> <leader>d :CornelisMakeCase<CR>
diff --git a/.config/nvim/plugin/cornelis.vim b/.config/nvim/plugin/cornelis.vim
new file mode 100644
index 00000000..27930283
--- /dev/null
+++ b/.config/nvim/plugin/cornelis.vim
@@ -0,0 +1,17 @@
+" agda related autocommands
+
+function! CornelisLoadWrapper()
+  if exists(":CornelisLoad") ==# 2
+    CornelisLoad
+  endif
+endfunction
+
+au BufReadPre *.agda call CornelisLoadWrapper()
+au BufReadPre *.lagda* call CornelisLoadWrapper()
+
+au QuitPre *.agda :CornelisCloseInfoWindows
+au QuitPre *.lagda* :CornelisCloseInfoWindows
+
+" autoreload at file write
+au BufWritePost *.agda execute "normal! :CornelisLoad\<CR>"
+au BufWritePost *.lagda* execute "normal! :CornelisLoad\<CR>"