From 1b92ebdd4052f001773747b94aceeaf6ffaaa1ff Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 24 May 2003 11:32:57 +0000
Subject: Include next buffer in hint for rotate buffers

---
 generic/proof-menu.el | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

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)))))
 
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
-- 
cgit v1.2.3