From 485ba265488056f002c6ed88be3969958172f55d Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 26 May 2000 18:03:56 +0000
Subject: Binding for complete. Proper toggler use for generic option x symbol
 enable.

---
 generic/proof-menu.el | 8 ++++----
 1 file 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)
-- 
cgit v1.2.3