vim-patch:5ca8f22: runtime(idris2): include filetype,indent+syntax plugins for (L)Idris2 + ipkg

closes: vim/vim#15993

5ca8f223f0

Co-authored-by: Serhii Khoma <srghma@gmail.com>
Co-authored-by: Christian Clason <ch.clason+github@icloud.com>
This commit is contained in:
Christian Clason
2024-11-12 21:54:06 +01:00
committed by Christian Clason
parent 17e00d0cc6
commit 096cb572af
8 changed files with 458 additions and 0 deletions

19
runtime/ftplugin/ipkg.vim Normal file
View File

@@ -0,0 +1,19 @@
" Vim ftplugin file
" Language: Ipkg
" Maintainer: Idris Hackers (https://github.com/edwinb/idris2-vim), Serhii Khoma <srghma@gmail.com>
" Last Change: 2024 Nov 05
" Author: ShinKage
" License: Vim (see :h license)
" Repository: https://github.com/ShinKage/idris2-nvim
if exists("b:did_ftplugin")
finish
endif
setlocal comments=:--
setlocal commentstring=--\ %s
setlocal wildignore+=*.ibc
let b:undo_ftplugin = "setlocal shiftwidth< tabstop< expandtab< comments< commentstring< iskeyword< wildignore<"
let b:did_ftplugin = 1