diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2010-07-08 23:07:24 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2010-07-08 23:07:24 +0000 |
| commit | ab841da2555ad80b14dd7d38139e8f19a57c059f (patch) | |
| tree | d18279c9413cb76a6318a7c1854a777b409a2b08 /generic/pg-user.el | |
| parent | 3f3400e0981aed4e0c6785f737aae6330af12413 (diff) | |
Cleanups for save-excursion to avoid warnings in latest Emacs versions
Diffstat (limited to 'generic/pg-user.el')
| -rw-r--r-- | generic/pg-user.el | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/generic/pg-user.el b/generic/pg-user.el index f3dbd755..dbda1863 100644 --- a/generic/pg-user.el +++ b/generic/pg-user.el @@ -933,8 +933,7 @@ If NUM is negative, move upwards. Return new span." (let ((win (get-buffer-window proof-script-buffer))) (unless ;; end of locked already displayed (and win (pos-visible-in-window-p (proof-unprocessed-begin))) - (save-excursion - (set-buffer proof-script-buffer) + (with-current-buffer proof-script-buffer (cond ((proof-locked-region-empty-p)) ;; nothing if empty ((proof-locked-region-full-p) |