From 1e64a7bd2c1e67330fb1bdaff7828a9878f1f82b Mon Sep 17 00:00:00 2001
From: rhiannon morris <rhi@rhiannon.website>
Date: Mon, 3 Jan 2022 15:09:43 +0100
Subject: [PATCH] set more scratch props for idris-response

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

diff --git a/ftplugin/idris2.vim b/ftplugin/idris2.vim
index 959439a..f215eba 100644
--- a/ftplugin/idris2.vim
+++ b/ftplugin/idris2.vim
@@ -61,7 +61,7 @@ function! IdrisResponseWin()
     badd idris-response
     b idris-response
     let g:idris_respwin = "active"
-    set buftype=nofile
+    setlocal buftype=nofile bufhidden=hide noswapfile
     wincmd k
   elseif (bufexists("idris-response") && g:idris_respwin == "hidden")
     botright 10split