diff options
-rw-r--r-- | coq/coq-compile-common.el | 6 |
1 files changed, 5 insertions, 1 deletions
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 |