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 5cacdd96..cada66b3 100644 --- a/generic/proof-menu.el +++ b/generic/proof-menu.el @@ -46,7 +46,7 @@ ;; (define-key map [(meta p)] 'proof-previous-matching-command) ;; (define-key map [(meta n)] 'proof-next-matching-command) ;; Standard binding for completion -(define-key map [(control return)] 'complete) +(define-key map [(control return)] 'proof-script-complete) ;(define-key map [(control c) ?u] 'proof-retract-until-point-interactive) ;; Add the universal keys bound in all PG buffers. (proof-define-keys map proof-universal-keys)) |