From 79d042b3d8311f9b6caca809fe0105f49f9536c3 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 28 Sep 2009 08:39:21 +0000
Subject: pg-response-buffers-hint: only give hint when in default two-buffer
 mode

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

diff --git a/generic/pg-user.el b/generic/pg-user.el
index 15daa709..802a3692 100644
--- a/generic/pg-user.el
+++ b/generic/pg-user.el
@@ -910,10 +910,12 @@ If NUM is negative, move upwards.  Return new span."
 
 ;;;###autoload
 (defun pg-response-buffers-hint (&optional nextbuf)
+  (unless (or proof-multiple-frames-enable
+	      proof-three-window-enable
+	      (not (buffer-live-p proof-goals-buffer)))
   (pg-hint
    (format
     "\\[proof-prf] for goals;%s \\[proof-layout-windows] refreshes"
-    (if (not proof-multiple-frames-enable) ;; and not proof-three-window-enable
 	(format " \\[proof-display-some-buffers] rotates output%s;"
 		(if nextbuf (concat " (next:" nextbuf ")") ""))
       ""))))
-- 
cgit v1.2.3