diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2003-05-24 11:12:43 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2003-05-24 11:12:43 +0000 |
commit | 88dca363e3d7b17217b097997b0ec96344e3bea1 (patch) | |
tree | 65128210682763e8a47451de3a7099799ace9965 /generic | |
parent | c232db97ddd85378a90e4546ceb319c52a82a913 (diff) |
Switch order of buffers displayed by C-c C-l. Add hint.
Diffstat (limited to 'generic')
-rw-r--r-- | generic/proof-menu.el | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/generic/proof-menu.el b/generic/proof-menu.el index 48eaa4fe..7bd16b21 100644 --- a/generic/proof-menu.el +++ b/generic/proof-menu.el @@ -19,7 +19,7 @@ (defvar proof-display-some-buffers-count 0) (defun proof-display-some-buffers () - "Display the reponse, goals, trace, or shell buffer, rotating. + "Display the reponse, trace, goals, or shell buffer, rotating. A fixed number of repetitions of this command switches back to the same buffer. Also move point to the end of the response buffer if it's selected. @@ -39,9 +39,10 @@ If in three window or multiple frame mode, display two buffers." (setq proof-display-some-buffers-count 0))) (let* ((assocbufs (remove-if-not 'buffer-live-p (list proof-response-buffer - proof-goals-buffer proof-thms-buffer - proof-trace-buffer))) + proof-trace-buffer + proof-goals-buffer + ))) ;proof-shell-buffer (selectedbuf (nth (mod proof-display-some-buffers-count (length assocbufs)) assocbufs))) @@ -57,7 +58,8 @@ If in three window or multiple frame mode, display two buffers." (proof-switch-to-buffer selectedbuf 'noselect))) (if (eq selectedbuf proof-response-buffer) (set-window-point (get-buffer-window proof-response-buffer) - (point-max))))) + (point-max))) + (pg-hint (pg-response-buffers-hint)))) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; |