diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1998-10-20 10:08:53 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1998-10-20 10:08:53 +0000 |
| commit | 6bd063dcc0a48c1b9dbdf4947596d24a0f1f94f6 (patch) | |
| tree | 8bdaa7e6a8d9b615fc89d90b7833bf9157c7f7f2 /generic/proof-indent.el | |
| parent | e103401e809f4dc15e41962331a849a58a999a01 (diff) | |
Changed for proof-script-buffer to proof-script-buffer-list
Diffstat (limited to 'generic/proof-indent.el')
| -rw-r--r-- | generic/proof-indent.el | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/generic/proof-indent.el b/generic/proof-indent.el index deb15a4f..515c304f 100644 --- a/generic/proof-indent.el +++ b/generic/proof-indent.el @@ -37,7 +37,7 @@ (end (point)) instring c) (save-excursion (if (null from) - (if (eq proof-script-buffer (current-buffer)) + (if (member (current-buffer) proof-script-buffer-list) (proof-goto-end-of-locked) (goto-char 1)) (goto-char from) @@ -78,7 +78,7 @@ (defun proof-indent-line () (interactive) - (if (and (eq proof-script-buffer (current-buffer)) + (if (and (member (current-buffer) proof-script-buffer-list) (< (point) (proof-locked-end))) (if (< (current-column) (current-indentation)) (skip-chars-forward "\t ")) @@ -97,7 +97,7 @@ (defun proof-indent-region (start end) (interactive "r") - (if (and (eq proof-script-buffer (current-buffer)) + (if (and (member (current-buffer) proof-script-buffer-list) (< (point) (proof-locked-end))) (error "can't indent locked region!")) (save-excursion |