diff options
author | Hendrik Tews <hendrik@askra.de> | 2016-10-28 18:16:28 +0200 |
---|---|---|
committer | Hendrik Tews <hendrik@askra.de> | 2016-10-28 18:16:28 +0200 |
commit | 611e9f557a37364a3de4b89afa336a673dca7cfd (patch) | |
tree | 2e86bbb74bd83bfa8d1f578a60a0b9e823393fd7 /coq/coq-compile-common.el | |
parent | 3b621d71274bc62722876c7229c2e649be6cb378 (diff) |
ensure coq-compile-response-buffer is not in a dedicated window
This makes #54 a bit less critical.
Diffstat (limited to 'coq/coq-compile-common.el')
-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 |