diff options
| author | David Aspinall | 1998-12-10 18:08:46 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-12-10 18:08:46 +0000 |
| commit | ea52fc81454ed19269309f1d1f5e122a206b4147 (patch) | |
| tree | e6011133b7f930ca439c03dee9f06d4d2ad4f413 /generic/proof-shell.el | |
| parent | bb29430d1c69ae8ae19127c8ea338b3070139e9d (diff) | |
Made point stay at top of goals buffer and bottom of response buffer
Diffstat (limited to 'generic/proof-shell.el')
| -rw-r--r-- | generic/proof-shell.el | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index 1da9f236..d86f285f 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -538,9 +538,12 @@ This is a list of tuples of the form (type . string). type is either (proof-shell-maybe-erase-response t t) (set-buffer proof-goals-buffer) + ;; NEW!! 10.12.98 Keep point at beginning of buffer instead + ;; of end. Might be nicer to keep it at "current" subgoal + ;; a la Isamode, but never mind. (erase-buffer) (insert (substring out 0 op)) - (proof-display-and-keep-buffer proof-goals-buffer) + (proof-display-and-keep-buffer proof-goals-buffer (point-min)) (setq ip 0 op 1) |