diff options
Diffstat (limited to 'ftplugin/idris.vim')
| -rw-r--r-- | ftplugin/idris.vim | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/ftplugin/idris.vim b/ftplugin/idris.vim index 777b6cfd..ae46bedd 100644 --- a/ftplugin/idris.vim +++ b/ftplugin/idris.vim @@ -1,4 +1,5 @@ if !exists('g:polyglot_disabled') || index(g:polyglot_disabled, 'idris') == -1 + if bufname('%') == "idris-response" finish endif @@ -341,4 +342,5 @@ menu Idris.Proof\ Search\ with\ hints <LocalLeader>p au BufHidden idris-response call IdrisHideResponseWin() au BufEnter idris-response call IdrisShowResponseWin() + endif |