diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2004-04-26 14:41:48 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2004-04-26 14:41:48 +0000 |
commit | a6b0ed24f844c2e5eacb2f5a7b5c2c6e2fa739ac (patch) | |
tree | 3adfbdb4c6125952008413aec4f8afb79a9a6147 /generic | |
parent | 46f1aac56ac61e8b76e4ce6a57ff36806582a8b4 (diff) |
Add compatibility hack for Emacs 21.2.1 customize-menu-create
Diffstat (limited to 'generic')
-rw-r--r-- | generic/proof-compat.el | 19 | ||||
-rw-r--r-- | generic/proof-menu.el | 3 |
2 files changed, 17 insertions, 5 deletions
diff --git a/generic/proof-compat.el b/generic/proof-compat.el index b5dfa466..de79226c 100644 --- a/generic/proof-compat.el +++ b/generic/proof-compat.el @@ -622,8 +622,23 @@ The corresponding face should be set using `edit-faces' or the ;;; Nasty: Emacs bug/problem fix section ;;; - - +;; 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. +;; PG 3.5.1: add hack in proof-compat.el to deal with this +(if + (and + proof-running-on-Emacs21 + (or + (string-equal emacs-version "21.2.1") + (string-equal emacs-version "21.1.0"))) + (defun customize-menu-create (symbol &optional name) + (cons + (or name "Customize") + (list + ["Your version of Emacs is buggy; update to get this menu" + '(w3-goto-url "http://www.gnu.org/software/emacs/") + t])))) ;; End of proof-compat.el 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.") |