From cc9616f3e6a710b07e34ba78f36c54c4bbd8c056 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Wed, 5 Feb 2003 22:16:56 +0000 Subject: Compatibility function for customize-menu-create --- generic/proof-menu.el | 10 ++++------ 1 file 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.") -- cgit v1.2.3