| Serhii Khoma | 5ca8f22 | 2024-11-12 21:49:42 +0100 | [diff] [blame] | 1 | " Vim ftplugin file |
| 2 | " Language: Idris 2 |
| 3 | " Last Change: 2024 Nov 05 |
| 4 | " Maintainer: Idris Hackers (https://github.com/edwinb/idris2-vim), Serhii Khoma <srghma@gmail.com> |
| 5 | " License: Vim (see :h license) |
| 6 | " Repository: https://github.com/ShinKage/idris2-nvim |
| 7 | " |
| 8 | " Based on ftplugin/idris2.vim from https://github.com/edwinb/idris2-vim |
| 9 | |
| 10 | if exists("b:did_ftplugin") |
| 11 | finish |
| 12 | endif |
| 13 | |
| 14 | setlocal shiftwidth=2 |
| 15 | setlocal tabstop=2 |
| 16 | |
| 17 | " Set g:idris2#allow_tabchar = 1 to use tabs instead of spaces |
| 18 | if exists('g:idris2#allow_tabchar') && g:idris2#allow_tabchar != 0 |
| 19 | setlocal noexpandtab |
| 20 | else |
| 21 | setlocal expandtab |
| 22 | endif |
| 23 | |
| 24 | setlocal comments=s1:{-,mb:-,ex:-},:\|\|\|,:-- |
| 25 | setlocal commentstring=--\ %s |
| 26 | |
| 27 | " makes ? a part of a word, e.g. for named holes `vzipWith f [] [] = ?vzipWith_rhs_3`, uncomment if want to reenable |
| 28 | " setlocal iskeyword+=? |
| 29 | |
| 30 | setlocal wildignore+=*.ibc |
| 31 | |
| 32 | let b:undo_ftplugin = "setlocal shiftwidth< tabstop< expandtab< comments< commentstring< iskeyword< wildignore<" |
| 33 | |
| 34 | let b:did_ftplugin = 1 |