From 1faf69c4bac18a7386f098a9ce3221e01476871d Mon Sep 17 00:00:00 2001 From: Hendrik Tews Date: Wed, 14 Sep 2011 19:18:04 +0000 Subject: fix #421 with solution 1 --- coq/coq.el | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'coq') diff --git a/coq/coq.el b/coq/coq.el index dacf117f..593a6f45 100644 --- a/coq/coq.el +++ b/coq/coq.el @@ -1905,7 +1905,8 @@ the proof shell without asking the user for confirmation (assuming she agreed already on switching the active scripting buffer). This is needed to ensure the load path is correct in the new scripting buffer." - (proof-shell-exit t)) + (unless proof-shell-exit-in-progress + (proof-shell-exit t))) (add-hook 'proof-deactivate-scripting-hook -- cgit v1.2.3