From e53de9e3b32322a872a369019ee366e42e0b54df Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 15 Apr 2004 23:02:11 +0000
Subject: Comment out pg-customize-menu-create

---
 generic/proof-compat.el | 16 +++++++++-------
 1 file changed, 9 insertions(+), 7 deletions(-)

(limited to 'generic')

diff --git a/generic/proof-compat.el b/generic/proof-compat.el
index abd05843..ca765d80 100644
--- a/generic/proof-compat.el
+++ b/generic/proof-compat.el
@@ -542,13 +542,15 @@ If `focus-follows-mouse' is non-nil, keyboard focus is left unchanged."
 ;; wrong with PG groups on Emacs 21.  (It works with 'customize
 ;; though).  We just disable it there. It's not worth this hassle.
 ;;
-(cond
- (proof-running-on-XEmacs
-  (defun pg-customize-menu-create (grp &optional name)
-    (list (customize-menu-create grp name))))
- (t
-  (defun pg-customize-menu-create (grp &optional name)
-    nil)))
+;; PG 3.5: this was used in proof-menu.el.  Things seem okay again 
+;; as of GNU Emacs 21.3.1.
+;; (cond
+;;  (proof-running-on-XEmacs
+;;   (defun pg-customize-menu-create (grp &optional name)
+;;     (list (customize-menu-create grp name))))
+;;  (t
+;;   (defun pg-customize-menu-create (grp &optional name)
+;;     nil)))
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;;
-- 
cgit v1.2.3