From 3822ee28a5f0cc1885314a2680bb57f337b54c72 Mon Sep 17 00:00:00 2001 From: Calvin Lee Date: Wed, 15 Jan 2025 11:44:25 +0000 Subject: [PATCH] Set ft=markdown.agda for *.lagda.md This allows the markdown treesitter plugin to run automatically. Previously the intention was to set ft=agda.markdown, but this indicates that agda is the primary filetype, when this is not true. Furthermore, this would not be set since it would be overwritten by the *.lagda.* autocommand. Fixes #157 --- ftdetect/agda.vim | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ftdetect/agda.vim b/ftdetect/agda.vim index 9960913..1659af1 100644 --- a/ftdetect/agda.vim +++ b/ftdetect/agda.vim @@ -1,5 +1,5 @@ au BufNewFile,BufRead *.agda setlocal filetype=agda au BufNewFile,BufRead *.lagda setlocal filetype=agda -au BufNewFile,BufRead *.lagda.md setlocal filetype=agda.markdown au BufNewFile,BufRead *.lagda.* setlocal filetype=agda +au BufNewFile,BufRead *.lagda.md setlocal filetype=markdown.agda