From d522a3ec26e8026fbb8d7b86749991a21ee7bc9b Mon Sep 17 00:00:00 2001
From: Hendrik Tews
Date: Thu, 24 May 2012 21:11:06 +0000
Subject: kill windows showing response and goals buffers on proof-shell-exit

---
 generic/proof-shell.el | 1 +
 1 file changed, 1 insertion(+)

(limited to 'generic/proof-shell.el')

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index 5988a2f5..edd3d510 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -474,6 +474,7 @@ shell buffer, called by `proof-shell-bail-out' if process exits."
       (dolist (buf '(proof-goals-buffer proof-response-buffer
 					proof-trace-buffer))
 	(when (buffer-live-p (symbol-value buf))
+	  (delete-windows-on (symbol-value buf))
 	  (kill-buffer (symbol-value buf))
 	  (set buf nil))))
     (setq proof-shell-exit-in-progress nil)
-- 
cgit v1.2.3