Edwin's Idris2-Vim plugin had a ftplugin/idris2.vim file that defined several useful settings for Idris 2 files, such as 'comments', 'commentstring', and 'shiftwidth'.
This PR adds a new ftplugin/idris2.vim file that contains those useful settings, without all the old command definitions that are now supplanted by LSP operations.
I left in support for the old g:idris2#allow_tabchar setting, but I would imagine that approximately 0 people are using it. I am happy to remove it. Those who do really really want noexpandtab can set it manually in after/ftplugin/idris2.vim.
Edwin's Idris2-Vim plugin had a
ftplugin/idris2.vimfile that defined several useful settings for Idris 2 files, such as'comments','commentstring', and'shiftwidth'.This PR adds a new
ftplugin/idris2.vimfile that contains those useful settings, without all the old command definitions that are now supplanted by LSP operations.I left in support for the old
g:idris2#allow_tabcharsetting, but I would imagine that approximately 0 people are using it. I am happy to remove it. Those who do really really wantnoexpandtabcan set it manually inafter/ftplugin/idris2.vim.