From 3a725ce723fcb78df3c1843f3f091ae008b9dfa2 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Sun, 29 Dec 2002 16:20:17 +0000 Subject: Fake customize menu create for latest Emacs release -- workaround new bug there --- generic/proof-compat.el | 11 +++++++---- 1 file changed, 7 insertions(+), 4 deletions(-) (limited to 'generic') diff --git a/generic/proof-compat.el b/generic/proof-compat.el index 7a5fb8f4..f3c5753b 100644 --- a/generic/proof-compat.el +++ b/generic/proof-compat.el @@ -381,10 +381,13 @@ The modified ALIST is returned." ;; Create a menu from a customize group, for older/non-existent customize -(or (fboundp 'customize-menu-create) -(defun customize-menu-create (&rest args) - "Dummy function for PG; please upgrade your Emacs." - nil)) +(if (or + (and (equal emacs-major-version 21) ; or for buggy Emacs 21.2.1 + (member emacs-minor-version '(2 0))) + (not (fboundp 'customize-menu-create))) + (defun customize-menu-create (&rest args) + "Dummy function for PG; please upgrade your Emacs." + nil)) (or (fboundp 'process-live-p) (defun process-live-p (obj) -- cgit v1.2.3