From 727af67b3420ca0bb09538ac8bb9eb4947a22e80 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 21 Sep 1999 14:44:46 +0000
Subject: Call proof-state-change-hook after asserting and retracting.

---
 generic/proof-script.el | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

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

diff --git a/generic/proof-script.el b/generic/proof-script.el
index f15bc477..487211cc 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -711,9 +711,9 @@ the ACS is marked in the current buffer. If CMD does not match any,
 	   (funcall proof-global-p cmd)
 	   proof-lift-global
 	   (funcall proof-lift-global span)))))
-  ;; FIXME: circular dependency on proof-toolbar here!
-  (proof-toolbar-refresh)
-  )
+
+  ;; State of scripting may have changed now
+  (run-hooks 'proof-state-change-hook))
 
 
 
@@ -1053,8 +1053,8 @@ Optionally delete the region corresponding to the proof sequence."
 	(delete-spans start end 'type)
 	(delete-span span)
 	(if kill (kill-region start end))))
-  ;; FIXME: circular dependency on proof-toolbar here!
-  (proof-toolbar-refresh))
+  ;; State of scripting may have changed now
+  (run-hooks 'proof-state-change-hook))
 
 (defun proof-setup-retract-action (start end proof-command delete-region)
   (let ((span (make-span start end)))
-- 
cgit v1.2.3