From 4f654a8b20ba61020b4a82988611fe59d04e430f Mon Sep 17 00:00:00 2001 From: Marek L Date: Fri, 9 Dec 2022 19:13:23 +0000 Subject: [PATCH] Reset Idris working directory on closing idris connection Why: To ensure the state is correctly updated after reconnection. --- idris-commands.el | 1 + 1 file changed, 1 insertion(+) diff --git a/idris-commands.el b/idris-commands.el index c1c8f3bf..556ed05f 100644 --- 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)))