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-pbrpm.el | |
| parent | 3f3400e0981aed4e0c6785f737aae6330af12413 (diff) | |
Cleanups for save-excursion to avoid warnings in latest Emacs versions
Diffstat (limited to 'generic/pg-pbrpm.el')
| -rw-r--r-- | generic/pg-pbrpm.el | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/generic/pg-pbrpm.el b/generic/pg-pbrpm.el index bee0ea05..e036d7ae 100644 --- a/generic/pg-pbrpm.el +++ b/generic/pg-pbrpm.el @@ -78,8 +78,7 @@ Matches the region to be returned.") (defvar pbrpm-menu-desc nil) (defun pg-pbrpm-erase-buffer-menu () - (save-excursion - (set-buffer pg-pbrpm-buffer-menu) + (with-current-buffer pg-pbrpm-buffer-menu (mapc 'span-delete pg-pbrpm-spans) (setq pg-pbrpm-spans nil) (erase-buffer))) @@ -138,8 +137,8 @@ If stores, in the variable pg-pbrpm-goal-description, a list with shape start-hyp-text: the position of the first char of the hypothesis formula (no name) end-hyp: the position of the last char of the hypothesis hyp-name: then name of the hypothesis." + (with-current-buffer proof-goals-buffer (save-excursion - (set-buffer proof-goals-buffer) (goto-char 0) (let ((goals nil)) @@ -172,7 +171,7 @@ If stores, in the variable pg-pbrpm-goal-description, a list with shape (list start-goal end-goal goal-num (search-forward-regexp pg-pbrpm-start-concl-regexp nil t) hyps) goals)))) - (setq pg-pbrpm-goal-description goals))))) + (setq pg-pbrpm-goal-description goals)))))) (add-hook 'proof-shell-handle-delayed-output-hook 'pg-pbrpm-analyse-goal-buffer) |