diff options
Diffstat (limited to 'generic')
-rw-r--r-- | generic/proof-shell.el | 5 |
1 files 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 |