diff options
| -rw-r--r-- | generic/pg-response.el | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/generic/pg-response.el b/generic/pg-response.el index 7e084500..0ad5b9f0 100644 --- a/generic/pg-response.el +++ b/generic/pg-response.el @@ -177,7 +177,10 @@ Returns non-nil if response buffer was cleared." (defun pg-response-clear-displays () - "Clear PG response and tracing buffers." + "Clear Proof General response and tracing buffers. +You can use this command to clear the output from these buffers when +it becomes overly long. Particularly useful when `proof-tidy-response' +is set to nil, so responses are not cleared automatically." (interactive) (proof-map-buffers (list proof-response-buffer proof-trace-buffer) (erase-buffer) |