diff options
| author | David Aspinall | 2003-06-08 20:59:54 +0000 |
|---|---|---|
| committer | David Aspinall | 2003-06-08 20:59:54 +0000 |
| commit | eaace516fb4c29a7b0ebbf2074b61db9fc2d47df (patch) | |
| tree | e4a70310c3c38dac2019e444d57a8dfac7929111 /generic/proof-utils.el | |
| parent | 227b0314dee0b6f102dfcac22bf3ab1d9d75d9e6 (diff) | |
Comments.
Diffstat (limited to 'generic/proof-utils.el')
| -rw-r--r-- | generic/proof-utils.el | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/generic/proof-utils.el b/generic/proof-utils.el index 5c1c5f87..c7d9a1cb 100644 --- a/generic/proof-utils.el +++ b/generic/proof-utils.el @@ -574,6 +574,10 @@ No action if BUF is nil or killed." (if noselect ;; FIXME: would like 'norecord arg here to override ;; previous window entering top of MRU list here. + ;; In fact, this could be hacked in XEmacs code. + ;; GNU Emacs seems *not* to put previously displayed + ;; window onto the top of the list with record-buffer: + ;; that gives much nicer behaviour than XEmacs here. (display-buffer buf 'not-this-window) (let ((pop-up-windows t)) (pg-pop-to-buffer buffer 'not-this-window 'norecord)))))) |