diff options
author | Hendrik Tews <hendrik@askra.de> | 2012-05-24 21:11:06 +0000 |
---|---|---|
committer | Hendrik Tews <hendrik@askra.de> | 2012-05-24 21:11:06 +0000 |
commit | d522a3ec26e8026fbb8d7b86749991a21ee7bc9b (patch) | |
tree | 3b04a06b2d346fea1ce46ff593ec86ac5dea9e4b /generic/proof-shell.el | |
parent | 445d904669fed7d41b70bdecd268af1935c5f43e (diff) |
kill windows showing response and goals buffers on proof-shell-exit
Diffstat (limited to 'generic/proof-shell.el')
-rw-r--r-- | generic/proof-shell.el | 1 |
1 files changed, 1 insertions, 0 deletions
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) |