diff options
| -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 69b26b58..c2f9a077 100644 --- a/generic/proof-menu.el +++ b/generic/proof-menu.el @@ -214,7 +214,7 @@ If in three window or multiple frame mode, display two buffers." ;;(proof-switch-to-buffer proof-trace-buffer) ;;:active (buffer-live-p proof-trace-buffer)]) ["Clear Responses" - (pg-response-clear-displays) + pg-response-clear-displays :active (buffer-live-p proof-response-buffer)])) "Proof General buffer menu.") |