From 42e140a8405b11a04b309ed3f99805aaa44c5268 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 20 Nov 1998 14:24:51 +0000
Subject: 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.

---
 generic/proof-toolbar.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'generic/proof-toolbar.el')

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 ()
-- 
cgit v1.2.3