diff --git a/ftplugin/idris2.vim b/ftplugin/idris2.vim index cbb3726..959439a 100644 --- a/ftplugin/idris2.vim +++ b/ftplugin/idris2.vim @@ -83,7 +83,7 @@ function! IWrite(str) if (bufexists("idris-response")) let save_cursor = getcurpos() b idris-response - %delete + %delete _ let resp = split(a:str, '\n') call append(1, resp) b #