diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1998-10-12 15:49:39 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1998-10-12 15:49:39 +0000 |
| commit | 4cd108084f7c326bcdf27f8384c1b008f67f0bbc (patch) | |
| tree | d5c1c94eb39c88a446c2e351a4e7cbd154612f24 | |
| parent | cfff5f3e4683486fae85cf58cf65479215b64234 (diff) | |
Added compatibility hack for customize-menu-create.
| -rw-r--r-- | generic/proof.el | 13 |
1 files changed, 10 insertions, 3 deletions
diff --git a/generic/proof.el b/generic/proof.el index f56f577e..047cf614 100644 --- a/generic/proof.el +++ b/generic/proof.el @@ -2671,9 +2671,16 @@ finish setup which depends on specific proof assistant configuration." (cons proof-mode-name (append (cdr proof-menu) - (list (customize-menu-create 'proof) - (customize-menu-create 'proof-internal - "Internals"))))) + ;; begin UGLY COMPATIBILTY HACK + ;; older/non-existent customize doesn't have + ;; this function. + (if (fboundp 'customize-menu-create) + (list (customize-menu-create 'proof) + (customize-menu-create 'proof-internal + "Internals")) + nil) + ;; end UGLY COMPATIBILTY HACK + ))) (easy-menu-add proof-mode-menu proof-mode-map) ;; For fontlock |