diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1998-11-20 14:24:51 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1998-11-20 14:24:51 +0000 |
| commit | 42e140a8405b11a04b309ed3f99805aaa44c5268 (patch) | |
| tree | ffd32fbfd83842e0253da799cab264e03798b8a8 /generic/proof-toolbar.el | |
| parent | df5251b00f874b9081cf48a2bda8d848b7710750 (diff) | |
BIG CHANGES -- SORRY!
Replaced proof-script-buffer-list with proof-script-buffer.
The list was causing too much confusion and nasty bugs used with
Isabelle multiple files.
Implemented proof-script-buffers and proof-restart-all-buffers,
other functions.
Diffstat (limited to 'generic/proof-toolbar.el')
| -rw-r--r-- | generic/proof-toolbar.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-toolbar.el b/generic/proof-toolbar.el index ac5273bb..1e2cc44f 100644 --- a/generic/proof-toolbar.el +++ b/generic/proof-toolbar.el @@ -310,7 +310,7 @@ Move point if the end of the locked position is invisible." ;; (defun proof-toolbar-retract-enable-p () - (and (member (current-buffer) proof-script-buffer-list) + (and (eq (current-buffer) proof-script-buffer) (not (proof-locked-region-empty-p)))) (defun proof-toolbar-retract () |