From a6b0ed24f844c2e5eacb2f5a7b5c2c6e2fa739ac Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 26 Apr 2004 14:41:48 +0000
Subject: Add compatibility hack for Emacs 21.2.1 customize-menu-create

---
 generic/proof-compat.el | 19 +++++++++++++++++--
 generic/proof-menu.el   |  3 ---
 2 files changed, 17 insertions(+), 5 deletions(-)

diff --git a/generic/proof-compat.el b/generic/proof-compat.el
index b5dfa466..de79226c 100644
--- a/generic/proof-compat.el
+++ b/generic/proof-compat.el
@@ -622,8 +622,23 @@ The corresponding face should be set using `edit-faces' or the
 ;;; Nasty: Emacs bug/problem fix section
 ;;;
 
-
-
+;; NB: customize-menu-create is buggy in some versions of GNU Emacs
+;; (bad in 21.1.0, good in 21.1.1, bad in 21.2.1, ...).  Comment
+;; these next lines out if you must use one of these versions.
+;; PG 3.5.1: add hack in proof-compat.el to deal with this
+(if
+    (and
+     proof-running-on-Emacs21
+     (or
+      (string-equal emacs-version "21.2.1")
+      (string-equal emacs-version "21.1.0")))
+    (defun customize-menu-create (symbol &optional name)
+      (cons 
+       (or name "Customize")
+       (list 
+	["Your version of Emacs is buggy; update to get this menu" 
+	 '(w3-goto-url "http://www.gnu.org/software/emacs/")
+	 t]))))
 
 
 ;; End of proof-compat.el
diff --git a/generic/proof-menu.el b/generic/proof-menu.el
index e1c59f2b..4d879c35 100644
--- a/generic/proof-menu.el
+++ b/generic/proof-menu.el
@@ -450,9 +450,6 @@ without adjusting window layout."
 	 (list "-----")
 	 proof-show-hide-menu
 	 (list "-----")
-	 ;; NB: customize-menu-create is buggy in some versions of GNU Emacs
-	 ;; (bad in 21.1.0, good in 21.1.1, bad in 21.2.1, ...).  Comment
-	 ;; these next lines out if you must use one of these versions.
 	 (list (customize-menu-create 'proof-general))
 	 (list (customize-menu-create 'proof-general-internals "Internals"))))
   "Advanced sub-menu of script functions and customize.")
-- 
cgit v1.2.3