rhi/idris2-vim
1
0
Fork 0
Code Issues Pull requests Releases Activity

don't clobber registers with old idris-response

Browse source
This commit is contained in:
rhiannon morris 2021-12-28 09:56:16 +01:00
parent 3ffa41df09
commit be255abde7
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
ftplugin/idris2.vim
View file

@ -83,7 +83,7 @@ function! IWrite(str)
if (bufexists("idris-response")) if (bufexists("idris-response"))
let save_cursor = getcurpos() let save_cursor = getcurpos()
b idris-response b idris-response
%delete %delete _
let resp = split(a:str, '\n') let resp = split(a:str, '\n')
call append(1, resp) call append(1, resp)
b # b #