diff options
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." |