diff options
| author | David Aspinall | 2009-09-28 08:39:21 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-09-28 08:39:21 +0000 |
| commit | 79d042b3d8311f9b6caca809fe0105f49f9536c3 (patch) | |
| tree | 926613384b3964a8ae2fe419b5d4a70431ac868b /generic | |
| parent | 18edb39d893513e45eb7b0c78d340010a0ea759c (diff) | |
pg-response-buffers-hint: only give hint when in default two-buffer mode
Diffstat (limited to 'generic')
| -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 ")") "")) "")))) |