diff options
| author | Thomas Kleymann | 1998-11-02 17:17:52 +0000 |
|---|---|---|
| committer | Thomas Kleymann | 1998-11-02 17:17:52 +0000 |
| commit | da2ed54dac8160ae4cdb25c8e048600dc1e38973 (patch) | |
| tree | 1280a9705bfc915ce53a753cd9f95cfb8508e9a6 /generic/proof.el | |
| parent | 722f150e05ae402a1195fa2c12b8206a433b0771 (diff) | |
Proof General no longer changes selected window/buffer under your feet.
Diffstat (limited to 'generic/proof.el')
| -rw-r--r-- | generic/proof.el | 21 |
1 files changed, 11 insertions, 10 deletions
diff --git a/generic/proof.el b/generic/proof.el index 7247e7c6..29e89e2d 100644 --- a/generic/proof.el +++ b/generic/proof.el @@ -149,16 +149,17 @@ The argument KBL is a list of tuples (k . f) where `k' is a keybinding "Display BUFFER and mark window according to `proof-window-dedicated-p'." (let ((window (get-buffer-window buffer 'visible))) (save-selected-window - (display-buffer buffer) - (set-window-dedicated-p (get-buffer-window buffer) - proof-window-dedicated-p) - (and window - (progn (select-window window) - ;; tms: I don't understand why the point in - ;; proof-response-buffer is not at the end anyway. - ;; Is there a superfluous save-excursion somewhere? - (goto-char (point-max)) - (or (pos-visible-in-window-p) (recenter -1))))))) + (save-excursion + (display-buffer buffer) + (set-window-dedicated-p (get-buffer-window buffer) + proof-window-dedicated-p) + (and window + (progn (select-window window) + ;; tms: I don't understand why the point in + ;; proof-response-buffer is not at the end anyway. + ;; Is there a superfluous save-excursion somewhere? + (goto-char (point-max)) + (or (pos-visible-in-window-p) (recenter -1)))))))) (defun proof-clean-buffer (buffer) "Erase buffer and hide from display." |