diff options
author | 2002-02-23 19:07:02 +0000 | |
---|---|---|
committer | 2002-02-23 19:07:02 +0000 | |
commit | 44ee3db7bd8cb86de12c64e264f45a5a8d915103 (patch) | |
tree | 86e903f76b69d4d1fef425b9b9191d90477d39fc /generic | |
parent | f91a93a8c2ba24dfa7d511af3fa8a42476f001ce (diff) |
Add check for Emacs21.
Diffstat (limited to 'generic')
-rw-r--r-- | generic/proof-shell.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index 88c35629..4e1948de 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -889,8 +889,8 @@ Then we call `proof-shell-handle-error-or-interrupt-hook'." (defun proof-pbp-focus-on-first-goal () "If the `proof-goals-buffer' contains goals, bring the first one into view. This is a hook function for proof-shell-handle-delayed-output-hook." - ;; FIXME: does nothing in FSF - (and (fboundp 'map-extents) + (and proof-running-on-XEmacs ;; FIXME: map-extents exists on Emacs21 + (fboundp 'map-extents) ;; but with different typing (let ((pos (map-extents 'proof-goals-pos proof-goals-buffer nil nil nil nil 'proof-top-element))) |