From 6effc3a06b96a791805d69c7dd82ef59349abf26 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Fri, 25 Sep 2015 17:03:43 +0200
Subject: Trying to not delete frames too eagerly when laying out.

---
 generic/proof-shell.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'generic/proof-shell.el')

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
-- 
cgit v1.2.3