diff options
Diffstat (limited to 'generic/proof-shell.el')
| -rw-r--r-- | generic/proof-shell.el | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index b9ac2b3c..78b36ee7 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -243,6 +243,7 @@ If QUEUEMODE is supplied, set the lock to that value." (setq proof-shell-interrupt-pending nil proof-shell-busy (or queuemode t) proof-shell-last-queuemode proof-shell-busy) + (run-hooks 'proof-state-change-pre-hook) (run-hooks 'proof-state-change-hook)) (defun proof-release-lock () @@ -1836,6 +1837,7 @@ If TIMEOUTSECS is a number, time out after that many seconds." (defun proof-done-invisible (span) "Callback for ‘proof-shell-invisible-command’. Call ‘proof-state-change-hook’." + (run-hooks 'proof-state-change-pre-hook) (run-hooks 'proof-state-change-hook)) ;;;###autoload |