diff options
| author | Patrick Loiseleur | 1999-06-21 11:55:31 +0000 |
|---|---|---|
| committer | Patrick Loiseleur | 1999-06-21 11:55:31 +0000 |
| commit | 3a3c4b06cb2f684d5c514c59683a79d3426c5541 (patch) | |
| tree | 6721053a3c54f8fe180019ee5d84cfe89584af9a | |
| parent | 621a78bb1efd87a29efcfd109ed6713f7eb612d8 (diff) | |
unkillable buffer bugfix
| -rw-r--r-- | generic/proof-shell.el | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index 719236a7..cb5aaca8 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -364,9 +364,13 @@ exited by hand (or exits by itself)." proof-shell-proof-completed nil) ;; Kill buffers associated with shell buffer (if (buffer-live-p proof-goals-buffer) - (kill-buffer proof-goals-buffer)) + (progn + (kill-buffer proof-goals-buffer) + (setq proof-goals-buffer nil))) (if (buffer-live-p proof-response-buffer) - (kill-buffer proof-response-buffer)) + (progn + (kill-buffer proof-response-buffer) + (setq proof-response-buffer nil))) (message "%s exited." bufname)))) (defun proof-shell-exit () |