diff options
| author | David Aspinall | 2002-08-29 08:39:50 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-08-29 08:39:50 +0000 |
| commit | dcf5c4199e611fb696abb85166dcbd51031e2d01 (patch) | |
| tree | 1c56cb995dbc57d9934e835032773d5d2da7c276 | |
| parent | d8a40af1b02c6aa311b2a3569523a5a86541efe4 (diff) | |
Make C-c C-w appear on binding list
| -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.") |