diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2008-01-29 22:45:32 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2008-01-29 22:45:32 +0000 |
| commit | b15aac581cf3ab0abc1d7d732a6fab1e7a4e0623 (patch) | |
| tree | dbd5123af7b89c87c555351758748626161d600c /lib/proof-compat.el | |
| parent | d02398289ff7cad3ae0f77a02273a17dc5c99b8d (diff) | |
Add buffer-substring-no-properties in case of older Emacs versions
Diffstat (limited to 'lib/proof-compat.el')
| -rw-r--r-- | lib/proof-compat.el | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/lib/proof-compat.el b/lib/proof-compat.el index 12798cad..9e3a2b7c 100644 --- a/lib/proof-compat.el +++ b/lib/proof-compat.el @@ -528,7 +528,7 @@ If `focus-follows-mouse' is non-nil, keyboard focus is left unchanged." ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;;; -;;; Old Emacs version compatibility +;;; Old Emacs version compatibility (to be gradually removed...) ;;; ;; Create a menu from a customize group, for older/non-existent customize @@ -539,6 +539,8 @@ If `focus-follows-mouse' is non-nil, keyboard focus is left unchanged." (and (processp obj) (memq (process-status obj) '(open run stop))))) +(or (fboundp 'buffer-substring-no-properties) + (defalias 'buffer-substring-no-properties 'buffer-substring)) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;;; |