-
Notifications
You must be signed in to change notification settings - Fork 28
Description
This might be specific to my setup, I've installed the plugin using Vim-Plug and I'm running the nightly build of NeoVim.
The plugin would not load and no Idris2-Vim commands / functions were available.
Without loading any plugins ( commenting out the plugins ) except for the Idris2-Vim plugin, the plugin still would not work.
When calling set runtimepath? within an Idris2 buffer the idris2-vim/after folder is listed within the runtime variable.
After installing the plugin using Vim-Plug and without exiting NeoVim the plugin would work as expected on Idris2 buffers.
[ Solution ]
Moving the following line to above the plug#begin function within my init.vim configuration file allows the plugin to work as expected:
filetype plugin indent off
Hopefully this description can help others in a similar predicament.