From 298cfde00ec1dc2437aa4389673e87082167ffdd Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 11 Dec 2001 13:15:49 +0000
Subject: Disable customize-menu-create for Emacs 21.

---
 generic/proof-menu.el | 11 ++++++-----
 1 file changed, 6 insertions(+), 5 deletions(-)

(limited to 'generic')

diff --git a/generic/proof-menu.el b/generic/proof-menu.el
index fd338240..61574b33 100644
--- a/generic/proof-menu.el
+++ b/generic/proof-menu.el
@@ -268,11 +268,12 @@ If in three window or multiple frame mode, display both buffers."
   "Proof General menu for various modes.")
 
 (defconst proof-config-menu
-  (list 
-   "----"
-   (customize-menu-create 'proof-general)
-   (customize-menu-create 'proof-general-internals 
-			  "Internals"))
+  ;; FIXME: customize-menu-create seems to break in Emacs 21.
+  (unless proof-running-on-Emacs21
+    (list "----"
+	  (customize-menu-create 'proof-general)
+	  (customize-menu-create 'proof-general-internals)))
+   ;;"Internals"))
   "Proof General configuration menu.")
 
 (defvar proof-bug-report-menu
-- 
cgit v1.2.3