From 95c86b944368015804f0bfd0002dc098578bda58 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Fri, 13 Nov 2015 16:37:28 +0100
Subject: Experimenting less brutal frame deletion.

Only in coq mode for now. There are still some strange frame deletion
some times.
---
 coq/coq.el | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

(limited to 'coq')

diff --git a/coq/coq.el b/coq/coq.el
index cd6991af..d9a04bc5 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -1233,7 +1233,7 @@ present, current pg display mode and current geometry otherwise."
      ;; multiple frames. If goals buffer pops up it will have frame default
      ;; size. Falling back to X default window size if not specified.
      ;; This is hard to mimick, let us give up
-     (proofproof-multiple-frames-enable nil)
+     (proof-multiple-frames-enable nil)
      (t nil) ;; assert false?
      )))
 
@@ -2855,6 +2855,12 @@ are non-nil at the same time, this gives priority to the former."
           'coq-switch-buffer-kill-proof-shell ;; this function is in coq-compile-common
           t)
 
+
+;; overwriting the default behavior, this is an experiment, *frames* will be
+;; deleted only if only displaying associated buffers. If this is OK the
+;; function itself will replace the other in generic.
+(defun proof-delete-other-frames () (proof-delete-all-associated-windows))
+
 (provide 'coq)
 
 
-- 
cgit v1.2.3