diff options
| author | David Aspinall | 2011-01-31 08:55:21 +0000 |
|---|---|---|
| committer | David Aspinall | 2011-01-31 08:55:21 +0000 |
| commit | e482a7dc259dc63c0404dd3c38649317524cd721 (patch) | |
| tree | 7feb5f5890d6e866f136d4f83f27952290c8f15d | |
| parent | 96d2bf1f16de29f13be37370141e5db998740a59 (diff) | |
Improve hint messages; use proof mode keymap.
| -rw-r--r-- | generic/pg-user.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/generic/pg-user.el b/generic/pg-user.el index dcbaffba..de116198 100644 --- a/generic/pg-user.el +++ b/generic/pg-user.el @@ -769,11 +769,11 @@ If NUM is negative, move upwards. Return new span." ;; (defun pg-goals-buffers-hint () - (pg-hint "Use \\[proof-display-some-buffers] to rotate output buffers; \\[pg-response-clear-displays] to clear response & trace.")) + (pg-hint "Use \\<proof-mode-map>\\[proof-display-some-buffers] to rotate output buffers; \\<proof-mode-map>\\[pg-response-clear-displays] to clear response & trace.")) ;;;###autoload (defun pg-slow-fontify-tracing-hint () - (pg-hint "Large tracing output; decorating intermittently. Use \\[pg-response-clear-displays] to clear trace.")) + (pg-hint "Large tracing output; refreshing intermittently. Use \\<proof-mode-map>\\[pg-response-clear-displays] to clear trace.")) ;;;###autoload (defun pg-response-buffers-hint (&optional nextbuf) |