[nongnu] elpa/idris-mode 4f654a8b20 01/12: Reset Idris working directory on closing idris connection

[ELPA Syncer]

branch: elpa/idris-mode
commit 4f654a8b20ba61020b4a82988611fe59d04e430f
Author: Marek L <nospam.keram@gmail.com>
Commit: Marek L <nospam.keram@gmail.com>

    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 c1c8f3bfcd..556ed05f8a 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)))