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

stop wobbling the window around on reload

Browse source
This commit is contained in:
rhiannon morris 2023-05-27 16:22:13 +02:00
parent f89aa275a1
commit ad08ee24f5
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
ftplugin/idris2.vim
View file

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