diff options
| author | Thomas Kleymann | 1998-11-02 17:30:14 +0000 |
|---|---|---|
| committer | Thomas Kleymann | 1998-11-02 17:30:14 +0000 |
| commit | a4d19c68cc95a5ef49111e6cbda70e07a7c09041 (patch) | |
| tree | 7f3a457920aa09176757a1deaa616af6d67c91fb | |
| parent | b34ddba34b88e08dde2e37b8eb357fd76300ed43 (diff) | |
Proof General no longer moves point in the current-buffer
| -rw-r--r-- | generic/proof.el | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/generic/proof.el b/generic/proof.el index ed78f397..440c2ab8 100644 --- a/generic/proof.el +++ b/generic/proof.el @@ -163,6 +163,7 @@ The argument KBL is a list of tuples (k . f) where `k' is a keybinding ;; tms: I don't understand why the point in ;; proof-response-buffer is not at the end anyway. ;; Is there a superfluous save-excursion somewhere? + (set-buffer buffer) (goto-char (point-max)) (or (pos-visible-in-window-p) (recenter -1)))))))) |