diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1998-11-18 13:40:09 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1998-11-18 13:40:09 +0000 |
| commit | bcf6b7564c7a0fea8edc8b24da89e983b583e500 (patch) | |
| tree | 9aafdfcfc9e4ae870a941af5c0a1c14666185220 /generic/proof.el | |
| parent | d86c77812b57bd1208c226241f3c679866f3c19c (diff) | |
proof-response-buffer-display: Move point to the end of the buffer
after all. It can get moved by the display functions.
Diffstat (limited to 'generic/proof.el')
| -rw-r--r-- | generic/proof.el | 2 |
1 files changed, 1 insertions, 1 deletions
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)) |