diff options
| -rw-r--r-- | generic/pg-user.el | 4 |
1 files changed, 3 insertions, 1 deletions
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 ")") "")) "")))) |