diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2003-05-24 11:32:57 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2003-05-24 11:32:57 +0000 |
| commit | 1b92ebdd4052f001773747b94aceeaf6ffaaa1ff (patch) | |
| tree | 3e77c485a0d65d3b47261eeb3a828938fe1b5ef3 | |
| parent | 84b6027e2f6fcee734ec68a28476236fda79cb31 (diff) | |
Include next buffer in hint for rotate buffers
| -rw-r--r-- | generic/proof-menu.el | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/generic/proof-menu.el b/generic/proof-menu.el index 7bd16b21..44439ed0 100644 --- a/generic/proof-menu.el +++ b/generic/proof-menu.el @@ -45,6 +45,8 @@ If in three window or multiple frame mode, display two buffers." ))) ;proof-shell-buffer (selectedbuf (nth (mod proof-display-some-buffers-count + (length assocbufs)) assocbufs)) + (nextbuf (nth (mod (1+ proof-display-some-buffers-count) (length assocbufs)) assocbufs))) (cond ((or proof-three-window-mode proof-multiple-frames-enable) @@ -59,7 +61,7 @@ If in three window or multiple frame mode, display two buffers." (if (eq selectedbuf proof-response-buffer) (set-window-point (get-buffer-window proof-response-buffer) (point-max))) - (pg-hint (pg-response-buffers-hint)))) + (pg-hint (pg-response-buffers-hint (buffer-name nextbuf))))) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; |