diff options
| author | David Aspinall | 2003-02-05 22:16:56 +0000 |
|---|---|---|
| committer | David Aspinall | 2003-02-05 22:16:56 +0000 |
| commit | cc9616f3e6a710b07e34ba78f36c54c4bbd8c056 (patch) | |
| tree | 2f02e646177603eb18a75aa0cc7456c3975638c1 | |
| parent | 79c55fb55d8019015f088340fd088aca5dfacd2b (diff) | |
Compatibility function for customize-menu-create
| -rw-r--r-- | generic/proof-menu.el | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/generic/proof-menu.el b/generic/proof-menu.el index 9f149e1b..bac4ca71 100644 --- a/generic/proof-menu.el +++ b/generic/proof-menu.el @@ -369,13 +369,11 @@ If in three window or multiple frame mode, display two buffers." (list "-----") proof-show-hide-menu (list "-----") - ;; NB: customize-menu-create was buggy in earlier - ;; Emacs 21.X; okay since 21.1.1. - ;; Oops: buggy again in 21.2.1, argh! + ;; NB: customize-menu-create is buggy in GNU Emacs + ;; (was bad in 21.1.0, good in 21.1.1, bad in 21.2.1, argh!) ;; See proof-compat. - (list (customize-menu-create 'proof-general)) - (list (customize-menu-create 'proof-general-internals - "Internals")))) + (pg-customize-menu-create 'proof-general) + (pg-customize-menu-create 'proof-general-internals "Internals"))) "Advanced sub-menu of script functions and customize.") |