From 89013f9d90236db842bdaaec5248629d98076c3f Mon Sep 17 00:00:00 2001
From: Nathan McCarty <nathan@mccarty.io>
Date: Wed, 2 Nov 2022 22:51:15 -0400
Subject: [PATCH] Tweak idris

---
 config.org | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/config.org b/config.org
index 05bfd61..d2f4edc 100644
--- a/config.org
+++ b/config.org
@@ -744,7 +744,9 @@ Use rnix-lsp
 ** Idris2
 Configure idris2-mode, which we do manually since it's not yet in doom.
 #+begin_src emacs-lisp
-(use-package! idris2-mode)
+(use-package! idris2-mode
+  :config
+  (setq idris2-stay-in-current-window-on-compiler-error t))
 #+end_src
 ** Haskell
 Setup formatting