diff options
Diffstat (limited to 'generic/proof-shell.el')
| -rw-r--r-- | generic/proof-shell.el | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index 0c0b2173..a09ddd78 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -924,6 +924,11 @@ To make sense, the commands should correspond to processing actions for processing a region from (buffer-queue-or-locked-end) to END. The queue mode is set to 'advancing" (proof-set-queue-endpoints (proof-unprocessed-begin) end) + (condition-case err + (run-hooks 'proof-shell-extend-queue-hook) + (error + (proof-detach-queue) + (signal (car err) (cdr err)))) (proof-add-to-queue queueitems 'advancing)) |