diff options
author | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2015-09-25 17:03:43 +0200 |
---|---|---|
committer | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2015-10-09 11:54:26 +0200 |
commit | 6effc3a06b96a791805d69c7dd82ef59349abf26 (patch) | |
tree | 7701514f4a18100c08761d297af6fb0cffc241cf /generic/proof-shell.el | |
parent | be17a8f84cea29b8c9804af16b545ff9cfcf9dc6 (diff) |
Trying to not delete frames too eagerly when laying out.
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 |