diff options
| author | David Aspinall | 2004-04-26 14:41:48 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-04-26 14:41:48 +0000 |
| commit | a6b0ed24f844c2e5eacb2f5a7b5c2c6e2fa739ac (patch) | |
| tree | 3adfbdb4c6125952008413aec4f8afb79a9a6147 /generic/proof-menu.el | |
| parent | 46f1aac56ac61e8b76e4ce6a57ff36806582a8b4 (diff) | |
Add compatibility hack for Emacs 21.2.1 customize-menu-create
Diffstat (limited to 'generic/proof-menu.el')
| -rw-r--r-- | generic/proof-menu.el | 3 |
1 files changed, 0 insertions, 3 deletions
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.") |