diff options
-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) |