diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2009-09-04 15:14:38 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-04 15:14:38 +0000 |
| commit | 8ad6e2ea063cba71b91a7bfadf738987e6842934 (patch) | |
| tree | cbdff8b8f6b72956903c34c303f6cae3873b8992 /generic | |
| parent | b1fd82d624fe7f44e9b597c8e1a585a5ad1a350d (diff) | |
Buglets in proof-process-electric-terminator, proof-maybe-follow-locked-end
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/pg-user.el | 15 |
1 files changed, 8 insertions, 7 deletions
diff --git a/generic/pg-user.el b/generic/pg-user.el index ef69be7c..dac20424 100644 --- a/generic/pg-user.el +++ b/generic/pg-user.el @@ -92,8 +92,9 @@ Assumes script buffer is current." (cond ((eq proof-follow-mode 'follow) (unless (pos-visible-in-window-p dest) - (get-buffer-window (current-buffer) t) - (goto-char pos))) + (let ((win (get-buffer-window (current-buffer) t))) + (if win + (set-window-point win dest))))) ((eq proof-follow-mode 'locked) (if pos (goto-char dest) @@ -554,10 +555,10 @@ comment, and insert or skip to the next semi)." (unless proof-electric-terminator-noterminator (insert proof-terminal-string) (setq ins t)))) - (let ((pos (point)) - (semis - (save-excursion - (proof-segment-up-to-using-cache pos)))) + (let* ((pos (point)) + (semis + (save-excursion + (proof-segment-up-to-using-cache pos)))) (if (eq 'unclosed-comment (car semis)) (progn (setq incomment t) @@ -565,7 +566,7 @@ comment, and insert or skip to the next semi)." (if ins (backward-delete-char 1)) (goto-char mrk) (insert proof-terminal-string)) - (proof-assert-semis pos semis) + (proof-assert-semis semis) (proof-script-next-command-advance)))))) (defun proof-electric-terminator () |