diff options
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/proof-compat.el | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/lib/proof-compat.el b/lib/proof-compat.el index 935d9470..3daed534 100644 --- a/lib/proof-compat.el +++ b/lib/proof-compat.el @@ -90,8 +90,16 @@ with `path-separator'." (split-string path (regexp-quote path-separator)))) - - +;; Compatibility with XEmacs 21.4, API change in add-hook +(when + ((and (featurep 'xemacs) + (eq emacs-major-version 21) + (<= emacs-minor-version 4))) + + (defun add-hook (hook function &optional append local) + (if local (make-local-hook hook)) + (add-hook hook function append local))) + ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;;; ;;; XEmacs compatibility with GNU Emacs |