diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2002-08-27 11:29:24 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2002-08-27 11:29:24 +0000 |
| commit | 9d243aad0ba3b1fc5530c803e5e74baa6eb3a724 (patch) | |
| tree | 9f4c8c699d999e5bc1a98cf5c0dcb1757297a36c | |
| parent | a7371764c85b8520e962552fe05407165008f88b (diff) | |
Menu entry to clear response buffers.
| -rw-r--r-- | generic/proof-menu.el | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/generic/proof-menu.el b/generic/proof-menu.el index ca0cb4e4..d4a5532f 100644 --- a/generic/proof-menu.el +++ b/generic/proof-menu.el @@ -200,7 +200,9 @@ If in three window or multiple frame mode, display both buffers." ;; ( if proof-shell-trace-output-regexp ... ) '(["Trace" (proof-switch-to-buffer proof-trace-buffer) - :active (buffer-live-p proof-trace-buffer)]))) + :active (buffer-live-p proof-trace-buffer)]) + '(["Clear responses" + (pg-response-clear-displays) t]))) "Proof General buffer menu.") |