diff options
| -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.") |