diff options
author | 2008-10-02 08:09:23 +0000 | |
---|---|---|
committer | 2008-10-02 08:09:23 +0000 | |
commit | 475f196370931331d897c2307153247ac71728c6 (patch) | |
tree | 0bd6893df5dac94e25746e4418e8a73b56a80b02 /coq | |
parent | 5224af80cb0225827880b95cefd009fe7b3f1f26 (diff) |
Fixing region access for emacs <= 22.
Diffstat (limited to 'coq')
-rw-r--r-- | coq/coq.el | 8 |
1 files changed, 8 insertions, 0 deletions
@@ -667,6 +667,14 @@ happen since one of them is necessarily set to t in coq-syntax.el." ) +;; region-exists-p does not exist in emacs <= 22 +(cond + ((string-match "NU Emacs 22" (emacs-version)) + (defmacro region-exists-p nil + "Returns t if the mark is active, nil otherwise." + `(not (eq mark-active nil))))) + + (defun coq-guess-or-ask-for-string (s &optional dontguess) (let ((guess (cond |