mirror of
https://github.com/vim/vim.git
synced 2025-10-30 09:47:20 -04:00
35 lines
995 B
VimL
35 lines
995 B
VimL
|
" Vim ftplugin file
|
||
|
|
" Language: Idris 2
|
||
|
|
" Last Change: 2024 Nov 05
|
||
|
|
" Maintainer: Idris Hackers (https://github.com/edwinb/idris2-vim), Serhii Khoma <srghma@gmail.com>
|
||
|
|
" License: Vim (see :h license)
|
||
|
|
" Repository: https://github.com/ShinKage/idris2-nvim
|
||
|
|
"
|
||
|
|
" Based on ftplugin/idris2.vim from https://github.com/edwinb/idris2-vim
|
||
|
|
|
||
|
|
if exists("b:did_ftplugin")
|
||
|
|
finish
|
||
|
|
endif
|
||
|
|
|
||
|
|
setlocal shiftwidth=2
|
||
|
|
setlocal tabstop=2
|
||
|
|
|
||
|
|
" Set g:idris2#allow_tabchar = 1 to use tabs instead of spaces
|
||
|
|
if exists('g:idris2#allow_tabchar') && g:idris2#allow_tabchar != 0
|
||
|
|
setlocal noexpandtab
|
||
|
|
else
|
||
|
|
setlocal expandtab
|
||
|
|
endif
|
||
|
|
|
||
|
|
setlocal comments=s1:{-,mb:-,ex:-},:\|\|\|,:--
|
||
|
|
setlocal commentstring=--\ %s
|
||
|
|
|
||
|
|
" makes ? a part of a word, e.g. for named holes `vzipWith f [] [] = ?vzipWith_rhs_3`, uncomment if want to reenable
|
||
|
|
" setlocal iskeyword+=?
|
||
|
|
|
||
|
|
setlocal wildignore+=*.ibc
|
||
|
|
|
||
|
|
let b:undo_ftplugin = "setlocal shiftwidth< tabstop< expandtab< comments< commentstring< iskeyword< wildignore<"
|
||
|
|
|
||
|
|
let b:did_ftplugin = 1
|