diff options
Diffstat (limited to 'generic/proof-shell.el')
| -rw-r--r-- | generic/proof-shell.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index 69af75f5..cb9ed2bb 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -491,7 +491,7 @@ shell buffer, called by `proof-shell-bail-out' if process exits." ;; frames (NB: loses if user has switched buffer in special frame) (if (and proof-multiple-frames-enable proof-shell-fiddle-frames) - (proof-delete-other-frames)) + (proof-delete-all-associated-windows)) ;; Kill associated buffer (let ((proof-shell-buffer nil)) ;; fool kill buffer hooks |