From 3d894b3a5eb79d44f247cb98f9a4bf5b0d493b3b Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 27 Oct 1998 14:54:12 +0000
Subject: Added FIXME question about moving point.

---
 generic/proof-shell.el | 1 +
 1 file changed, 1 insertion(+)

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)
-- 
cgit v1.2.3