diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2002-08-27 12:42:42 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2002-08-27 12:42:42 +0000 |
| commit | 006629e7153d10fdf3d258160ba5bcd14f5806c6 (patch) | |
| tree | 1214827e06983fb8878dcf37e46745707a801cdf /generic | |
| parent | 353186f0f51cc26235ea73a7a2895307636dece8 (diff) | |
Key for pg-response-clear-displays.
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-menu.el | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/generic/proof-menu.el b/generic/proof-menu.el index ae461828..53b0e349 100644 --- a/generic/proof-menu.el +++ b/generic/proof-menu.el @@ -68,6 +68,7 @@ If in three window or multiple frame mode, display both buffers." (define-key map [(control c) (control s)] 'proof-toggle-active-scripting) (define-key map [(control c) (control t)] 'proof-ctxt) (define-key map [(control c) (control u)] 'proof-undo-last-successful-command) +(define-key map [(control c) (control w)] 'pg-response-clear-displays) (define-key map [(control c) (control z)] 'proof-frob-locked-end) (define-key map [(control c) (control backspace)] 'proof-undo-and-delete-last-successful-command) ; C-c C-v is proof-minibuffer-cmd in universal-keys |