aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic
diff options
context:
space:
mode:
authorGravatar Stefan Monnier <monnier@iro.umontreal.ca>2014-06-02 20:57:01 +0000
committerGravatar Stefan Monnier <monnier@iro.umontreal.ca>2014-06-02 20:57:01 +0000
commitbafdaf6497e31c9157353ea56a9c1fb687554629 (patch)
treea498b1f94df9556c0ee411b6edac74accef7529e /generic
parentdbcc8b4d2affaa36d3679fa180b3cf98f0472e02 (diff)
* pg-response.el (proof-multiple-frames-enable, proof-next-error): Use new
display-buffer-alist infrastructure if available.
Diffstat (limited to 'generic')
-rw-r--r--generic/pg-response.el24
1 files changed, 15 insertions, 9 deletions
diff --git a/generic/pg-response.el b/generic/pg-response.el
index 970c09ec..89c35e9d 100644
--- a/generic/pg-response.el
+++ b/generic/pg-response.el
@@ -5,7 +5,7 @@
;; Thomas Kleymann and Dilip Sequeira
;; License: GPL (GNU GENERAL PUBLIC LICENSE)
;;
-;; $Id$
+;; pg-response.el,v 12.10 2012/09/25 09:44:18 pier Exp
;;
;;; Commentary:
;;
@@ -97,13 +97,14 @@ Internal variable, setting this will have no effect!")
"List of GNU Emacs frame parameters for secondary frames.")
(defun proof-multiple-frames-enable ()
- (let ((spdres (cons
- pg-response-special-display-regexp
- proof-multiframe-parameters)))
- (if proof-multiple-frames-enable
- (add-to-list 'special-display-regexps spdres)
- (setq special-display-regexps
- (delete spdres special-display-regexps))))
+ (unless (eval-when-compile (boundp 'display-buffer-alist))
+ (let ((spdres (cons
+ pg-response-special-display-regexp
+ proof-multiframe-parameters)))
+ (if proof-multiple-frames-enable
+ (add-to-list 'special-display-regexps spdres)
+ (setq special-display-regexps
+ (delete spdres special-display-regexps)))))
(proof-layout-windows))
(defun proof-three-window-enable ()
@@ -468,7 +469,12 @@ and start at the first error."
(rebufwindow
(or (get-buffer-window proof-response-buffer 'visible)
;; Pop up a window.
- (display-buffer proof-response-buffer))))
+ (display-buffer
+ proof-response-buffer
+ (and (eval-when-compile
+ (boundp 'display-buffer-alist))
+ proof-multiple-frames-enable
+ (cons nil proof-multiframe-parameters))))))
;; Make sure the response buffer stays where it is,
;; and make sure source buffer is visible
(select-window rebufwindow)