From 88dca363e3d7b17217b097997b0ec96344e3bea1 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 24 May 2003 11:12:43 +0000
Subject: Switch order of buffers displayed by C-c C-l.  Add hint.

---
 generic/proof-menu.el | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

(limited to 'generic')

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