diff options
| author | David Aspinall | 2000-09-23 16:56:29 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-09-23 16:56:29 +0000 |
| commit | 68fbdf6a31ab62c5920db0cf96c0d9be102d47fa (patch) | |
| tree | 1791dc276f5398a9675678c5ad5c0b56e3cddd86 /generic | |
| parent | 0fefcec851aee109dc3ebb41f59562b2ffb206a0 (diff) | |
proof-display-some-buffers moves point to end of output in response buffer.
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-menu.el | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/generic/proof-menu.el b/generic/proof-menu.el index b5712258..cddac802 100644 --- a/generic/proof-menu.el +++ b/generic/proof-menu.el @@ -17,12 +17,15 @@ (defun proof-display-some-buffers () "Display the reponse or goals buffer, toggling between them. +Also move point to the end of the response buffer. If in three window or multiple frame mode, display both buffers." (interactive) (cond ((or proof-dont-switch-windows proof-multiple-frames-enable) ;; Display both (proof-switch-to-buffer proof-response-buffer 'noselect) + (set-window-point (get-window-buffer proof-response-buffer) + (point-max)) (proof-switch-to-buffer proof-goals-buffer 'noselect)) ((and (buffer-live-p proof-response-buffer) (get-buffer-window proof-response-buffer 'visible)) @@ -30,7 +33,9 @@ If in three window or multiple frame mode, display both buffers." (proof-switch-to-buffer proof-goals-buffer 'noselect)) (t ;; Response buffer invisible, let's display it - (proof-switch-to-buffer proof-response-buffer 'noselect)))) + (proof-switch-to-buffer proof-response-buffer 'noselect) + (set-window-point (get-window-buffer proof-response-buffer) + (point-max))))) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; |