diff options
| author | Christian Clason <c.clason@uni-graz.at> | 2024-11-12 21:54:06 +0100 |
|---|---|---|
| committer | Christian Clason <ch.clason+github@icloud.com> | 2024-11-13 08:24:14 +0100 |
| commit | 096cb572af4b00ee2684d0c05b4689c4f4bef94e (patch) | |
| tree | 7e50450d3e2b31e2390c825640194342c5770d09 /runtime/doc/filetype.txt | |
| parent | 17e00d0cc63cf2a42a66b03f28bd567f11998c24 (diff) | |
| download | rneovim-096cb572af4b00ee2684d0c05b4689c4f4bef94e.tar.gz rneovim-096cb572af4b00ee2684d0c05b4689c4f4bef94e.tar.bz2 rneovim-096cb572af4b00ee2684d0c05b4689c4f4bef94e.zip | |
vim-patch:5ca8f22: runtime(idris2): include filetype,indent+syntax plugins for (L)Idris2 + ipkg
closes: vim/vim#15993
https://github.com/vim/vim/commit/5ca8f223f03dbd85f5e06c8e1d500c65f311eaf1
Co-authored-by: Serhii Khoma <srghma@gmail.com>
Co-authored-by: Christian Clason <ch.clason+github@icloud.com>
Diffstat (limited to 'runtime/doc/filetype.txt')
| -rw-r--r-- | runtime/doc/filetype.txt | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/runtime/doc/filetype.txt b/runtime/doc/filetype.txt index 20256e174c..279d00dd98 100644 --- a/runtime/doc/filetype.txt +++ b/runtime/doc/filetype.txt @@ -630,6 +630,19 @@ HARE *ft-hare* Since the text for this plugin is rather long it has been put in a separate file: |ft_hare.txt|. +IDRIS2 *ft-idris2-plugin* + +By default the following options are set: > + + setlocal shiftwidth=2 tabstop=2 expandtab + setlocal comments=s1:{-,mb:-,ex:-},:\|\|\|,:-- + setlocal commentstring=--\ %s + setlocal wildignore+=*.ibc + +To use tabs instead of spaces for indentation, set the following variable +in your vimrc: > + + let g:idris2#allow_tabchar = 1 JAVA *ft-java-plugin* |