diff options
| author | David Aspinall | 2002-08-27 12:46:11 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-08-27 12:46:11 +0000 |
| commit | c88b204cc2939f2642cea73218fbfc2b1fc87798 (patch) | |
| tree | 29d37d7a47042a4e4ad801bd1c6b866a98fbb2c3 | |
| parent | 006629e7153d10fdf3d258160ba5bcd14f5806c6 (diff) | |
Add C-c C-w to universal keys.
| -rw-r--r-- | generic/proof-config.el | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index 943cae10..cc71eb11 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -2444,7 +2444,8 @@ If this table is empty or needs adjusting, please make changes using '([(control c) \`] . proof-next-error) '("`" . proof-next-error)) '(([(control c) (control c)] . proof-interrupt-process) - ([(control c) (control v)] . proof-minibuffer-cmd))) + ([(control c) (control v)] . proof-minibuffer-cmd) + ([(control c) (control w)] . pg-response-clear-displays))) "List of key-bindings made for the script, goals and response buffer. Elements of the list are tuples `(k . f)' where `k' is a key-binding (vector) and `f' the designated function." |