From 0d57e1fee664d071c77070b10a4b3d28ad37fbfc Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 25 May 2000 15:06:07 +0000
Subject: Next button is enabled whenever locked region is not full.

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

diff --git a/generic/proof-toolbar.el b/generic/proof-toolbar.el
index 04048cef..aff55653 100644
--- a/generic/proof-toolbar.el
+++ b/generic/proof-toolbar.el
@@ -306,9 +306,7 @@ changed state."
 ;;
 
 (defun proof-toolbar-next-enable-p ()
-  (and
-   (not (proof-locked-region-full-p))
-   (not (and (proof-shell-live-buffer) proof-shell-busy))))
+  (not (proof-locked-region-full-p)))
 
 (defalias 'proof-toolbar-next 'proof-assert-next-command-interactive)
 
-- 
cgit v1.2.3