Tweak idris

2022-11-02 22:51:15 -04:00 · 2022-11-02 22:51:15 -04:00 · 89013f9d90
parent 31639c1638
commit 89013f9d90
1 changed files with 3 additions and 1 deletions
--- 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