diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2001-12-11 13:15:49 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2001-12-11 13:15:49 +0000 |
commit | 298cfde00ec1dc2437aa4389673e87082167ffdd (patch) | |
tree | 3d374a9f698211019cfe9bc48b40ea59cbf9db57 | |
parent | 1cac59a4b186b368f10019b857efe35cd9cab9e7 (diff) |
Disable customize-menu-create for Emacs 21.
-rw-r--r-- | generic/proof-menu.el | 11 |
1 files changed, 6 insertions, 5 deletions
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 |