From bcf6b7564c7a0fea8edc8b24da89e983b583e500 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 18 Nov 1998 13:40:09 +0000
Subject: proof-response-buffer-display: Move point to the end of the buffer 
 after all.  It can get moved by the display functions.

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

diff --git a/generic/proof.el b/generic/proof.el
index 09458c13..554e0284 100644
--- a/generic/proof.el
+++ b/generic/proof.el
@@ -144,7 +144,7 @@ The argument KBL is a list of tuples (k . f) where `k' is a keybinding
       ;; da: I've moved newline before the string itself, to match
       ;; the other cases when messages are inserted and to cope
       ;; with warnings after delayed output (non newline terminated).
-      ;; Also assume that point is at end of buffer already.
+      (goto-char (point-max))
       (newline)				
       (setq start (point))
       (insert str) (setq end (point))
-- 
cgit v1.2.3