Improve guard so it works for no eof new line

This commit is contained in:
Adam Stankiewicz
2019-09-12 14:33:21 +02:00
parent 26790941f6
commit 4f3df59be7
563 changed files with 1131 additions and 1 deletions

View File

@@ -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