diff options
Diffstat (limited to 'uvim/runtime/ftplugin/idris2.vim')
| -rw-r--r-- | uvim/runtime/ftplugin/idris2.vim | 34 |
1 files changed, 0 insertions, 34 deletions
diff --git a/uvim/runtime/ftplugin/idris2.vim b/uvim/runtime/ftplugin/idris2.vim deleted file mode 100644 index 54e5acef90..0000000000 --- a/uvim/runtime/ftplugin/idris2.vim +++ /dev/null @@ -1,34 +0,0 @@ -" 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 |