diff options
Diffstat (limited to 'generic')
| -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 |