diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-05-26 18:03:56 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-05-26 18:03:56 +0000 |
| commit | 485ba265488056f002c6ed88be3969958172f55d (patch) | |
| tree | ff4910c5aa9b767a968f71f22b625e8596e7a81e /generic | |
| parent | fbc1b0135932e197cb0cecde8ecf4ce235437c4c (diff) | |
Binding for complete.
Proper toggler use for generic option x symbol enable.
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-menu.el | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/generic/proof-menu.el b/generic/proof-menu.el index fba3c8dc..bf96a453 100644 --- a/generic/proof-menu.el +++ b/generic/proof-menu.el @@ -45,8 +45,8 @@ ;; FIXME: not implemented yet ;; (define-key map [(meta p)] 'proof-previous-matching-command) ;; (define-key map [(meta n)] 'proof-next-matching-command) -;; Deprecated bindings -;(define-key map [(control c) return] 'proof-assert-next-command) +;; Standard binding for completion +(define-key map [(control c) return] '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)) @@ -145,7 +145,7 @@ (proof-deftoggle proof-delete-empty-windows) (proof-deftoggle proof-multiple-frames-enable proof-multiple-frames-toggle) (proof-deftoggle proof-output-fontify-enable proof-output-fontify-toggle) -(proof-deftoggle proof-x-symbol-enable proof-x-symbol-toggle) +(proof-deftoggle-fn (proof-ass-sym x-symbol-enable) 'proof-x-symbol-toggle) (defvar proof-quick-opts-menu `("Options" @@ -171,7 +171,7 @@ ["X-Symbol" proof-x-symbol-toggle :active (proof-x-symbol-support-maybe-available) :style toggle - :selected proof-x-symbol-enable] + :selected (proof-ass x-symbol-enable)] ("Follow mode" ["Follow locked region" (customize-set-variable 'proof-follow-mode 'locked) |