diff options
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) |