From 9d243aad0ba3b1fc5530c803e5e74baa6eb3a724 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Tue, 27 Aug 2002 11:29:24 +0000 Subject: Menu entry to clear response buffers. --- generic/proof-menu.el | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) 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.") -- cgit v1.2.3