diff --git a/ftplugin/idris2.vim b/ftplugin/idris2.vim index e3de7d1..23276da 100644 --- a/ftplugin/idris2.vim +++ b/ftplugin/idris2.vim @@ -80,6 +80,7 @@ function! IdrisShowResponseWin() endfunction function! IWrite(str) + let view = winsaveview() if (bufexists("idris-response")) let save_cursor = getcurpos() b idris-response @@ -91,6 +92,7 @@ function! IWrite(str) else echo a:str endif + call winrestview(view) endfunction function! IdrisReload(q)