From ad08ee24f504b44cdb804d3617632408741fdb7d Mon Sep 17 00:00:00 2001
From: rhiannon morris <rhi@rhiannon.website>
Date: Sat, 27 May 2023 16:22:13 +0200
Subject: [PATCH] stop wobbling the window around on reload

---
 ftplugin/idris2.vim | 2 ++
 1 file changed, 2 insertions(+)

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)