From 44ee3db7bd8cb86de12c64e264f45a5a8d915103 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Sat, 23 Feb 2002 19:07:02 +0000 Subject: Add check for Emacs21. --- generic/proof-shell.el | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'generic') 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))) -- cgit v1.2.3