Reset Idris working directory on closing idris connection

Why: To ensure the state is correctly updated after reconnection.
idris-hackers · Dec 11, 2022 · 4f654a8 · 4f654a8
1 parent ef67682
commit 4f654a8
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/idris-commands.el b/idris-commands.el
@@ -987,6 +987,7 @@ https://github.com/clojure-emacs/cider"
         (setq idris-loaded-region-overlay nil)))
     (idris-prover-end)
     (idris-kill-buffers)
+    (setq idris-process-current-working-directory nil)
     (setq idris-protocol-version 0
           idris-protocol-version-minor 0)))