diff options
author | 1998-10-27 14:54:12 +0000 | |
---|---|---|
committer | 1998-10-27 14:54:12 +0000 | |
commit | 3d894b3a5eb79d44f247cb98f9a4bf5b0d493b3b (patch) | |
tree | 9682a811fa55144e8d5834398912634dd2a3d68e | |
parent | 4129f10b63aa56d4670092a2b84bba548bfd5056 (diff) |
Added FIXME question about moving point.
-rw-r--r-- | generic/proof-shell.el | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index 2fb74034..6e41ff6f 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -814,6 +814,7 @@ arrive." "Scan the shell buffer for urgent messages. Scanning starts from proof-shell-urgent-message-pos and processes strings between eager-annotation-start and eager-annotation-end." + ;; FIXME: check if it's safe to move point here. (goto-char (or (marker-position proof-shell-urgent-message-marker) (point-min))) (let (end start) |