diff options
| author | David Aspinall | 2009-08-17 16:17:15 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-08-17 16:17:15 +0000 |
| commit | 23f05bb0f2722b2d871430ea2348a73a8b1ad3f8 (patch) | |
| tree | 42046f28615007b7664704faaaae3bb1d8d51db9 | |
| parent | 6ddf4726b6033ef0d61b3e235d6f26d8564f2492 (diff) | |
Fix proof-next-error key binding
| -rw-r--r-- | generic/proof-config.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index fad43ef2..977b5ccd 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -2450,7 +2450,7 @@ the current restriction, and must return the final value of (point-max). :group 'proof-general-internals) (defcustom proof-universal-keys - '(([(control c) \`] . proof-next-error) ; ("`" . proof-next-error) + '(([(control c) ?`] . proof-next-error) ; ("`" . proof-next-error) ([(control c) (control c)] . proof-interrupt-process) ([(control c) (control n)] . proof-assert-next-command-interactive) ([(control c) (control u)] . proof-undo-last-successful-command) |