From 611e9f557a37364a3de4b89afa336a673dca7cfd Mon Sep 17 00:00:00 2001
From: Hendrik Tews
Date: Fri, 28 Oct 2016 18:16:28 +0200
Subject: ensure coq-compile-response-buffer is not in a dedicated window

This makes #54 a bit less critical.
---
 coq/coq-compile-common.el | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/coq/coq-compile-common.el b/coq/coq-compile-common.el
index 5a5b63c9..32e1ae61 100644
--- a/coq/coq-compile-common.el
+++ b/coq/coq-compile-common.el
@@ -454,7 +454,11 @@ the command whose output will appear in the buffer."
       (font-lock-fontify-buffer)))
   ;; Make it so the next C-x ` will use this buffer.
   (setq next-error-last-buffer (get-buffer coq-compile-response-buffer))
-  (proof-display-and-keep-buffer coq-compile-response-buffer 1 t))
+  (proof-display-and-keep-buffer coq-compile-response-buffer 1 t)
+  ;; Partial fix for #54: ensure that the compilation response
+  ;; buffer is not in a dedicated window.
+  (mapc (lambda (w) (set-window-dedicated-p w nil))
+      (get-buffer-window-list coq-compile-response-buffer nil t)))
 
 
 ;;; save some buffers
-- 
cgit v1.2.3