diff options
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-menu.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-menu.el b/generic/proof-menu.el index d4a5532f..ae461828 100644 --- a/generic/proof-menu.el +++ b/generic/proof-menu.el @@ -201,7 +201,7 @@ If in three window or multiple frame mode, display both buffers." '(["Trace" (proof-switch-to-buffer proof-trace-buffer) :active (buffer-live-p proof-trace-buffer)]) - '(["Clear responses" + '(["Clear Responses" (pg-response-clear-displays) t]))) "Proof General buffer menu.") |