diff options
Diffstat (limited to 'ftplugin/idris2.vim')
| -rw-r--r-- | ftplugin/idris2.vim | 9 |
1 files changed, 1 insertions, 8 deletions
diff --git a/ftplugin/idris2.vim b/ftplugin/idris2.vim index 89395311..97337057 100644 --- a/ftplugin/idris2.vim +++ b/ftplugin/idris2.vim @@ -1,11 +1,6 @@ -let s:base = expand("<sfile>:h:h") -let Filter = { _, v -> stridx(v, s:base) == -1 && stridx(v, $VIMRUNTIME) == -1 && v !~ "after" } -let files = filter(globpath(&rtp, 'ftplugin/idris2.vim', 1, 1), Filter) -if len(files) > 0 - exec 'source ' . files[0] +if !polyglot#util#IsEnabled('idris2', expand('<sfile>:p')) finish endif -if !exists('g:polyglot_disabled') || index(g:polyglot_disabled, 'idris2') == -1 if bufname('%') == "idris-response" finish @@ -337,5 +332,3 @@ menu Idris.Proof\ Search\ with\ hints <LocalLeader>p au BufHidden idris-response call IdrisHideResponseWin() au BufEnter idris-response call IdrisShowResponseWin() - -endif |