diff options
author | 2002-08-27 12:48:01 +0000 | |
---|---|---|
committer | 2002-08-27 12:48:01 +0000 | |
commit | e46018a9dae3b81dfdbef76c8bcff40a9e6a19b5 (patch) | |
tree | 432450e18b31ff77c43f7df47097cbc3a1d749aa | |
parent | 11f7e9bf12a045ee9a1b26158511f0095958718b (diff) |
Docstring
-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) |