From 4cffebeb11d5b2f02a6c26a7f4d40a90181586fc Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 21 Sep 1999 14:31:09 +0000
Subject: Callback for proof-shell-done-invisible now runs
 proof-state-change-hook.

---
 generic/proof-shell.el | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index 3571b1d1..3adfbdf7 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -1418,8 +1418,9 @@ May be called by proof-shell-invisible-command."
 
 
 (defun proof-shell-done-invisible (span)
-  "Callback for proof-shell-invisible-command.  Do nothing."
-  ())
+  "Callback for proof-shell-invisible-command.  
+Calls proof-state-change-hook."
+  (run-hooks 'proof-state-change-hook))
 
 ;; FIXME da: I find the name of this command misleading.
 ;; Nothing much is invisible really.  Old docstring was
-- 
cgit v1.2.3