From e506cc153e75f22d1875981c80698fc259201db6 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 11 Dec 1998 13:44:02 +0000
Subject: Removed check for proof script buffer from retraction enabler.

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

(limited to 'generic')

diff --git a/generic/proof-toolbar.el b/generic/proof-toolbar.el
index c767648c..a89dc536 100644
--- a/generic/proof-toolbar.el
+++ b/generic/proof-toolbar.el
@@ -311,8 +311,7 @@ Move point if the end of the locked position is invisible."
 ;;
 
 (defun proof-toolbar-retract-enable-p ()
-  (and (eq (current-buffer) proof-script-buffer)
-       (not (proof-locked-region-empty-p))))
+  (not (proof-locked-region-empty-p)))
 
 (defun proof-toolbar-retract ()
   "Retract entire buffer."
-- 
cgit v1.2.3