diff options
Diffstat (limited to 'generic/proof-shell.el')
| -rw-r--r-- | generic/proof-shell.el | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index 7b4c30ec..1978927f 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -176,15 +176,14 @@ No error messages. Useful as menu or toolbar enabler." Runs `proof-state-change-hook' to notify state change. If QUEUEMODE is supplied, set the lock to that value." (proof-shell-ready-prover queuemode) - (setq proof-shell-interrupt-pending nil) - (setq proof-shell-busy (or queuemode t)) + (setq proof-shell-interrupt-pending nil + proof-shell-busy (or queuemode t) + proof-shell-last-queuemode proof-shell-busy) (run-hooks 'proof-state-change-hook)) (defun proof-release-lock () "Release the proof shell lock. Clear `proof-shell-busy'." - (setq proof-shell-busy nil) - ;; PG4.0: TODO: alter modeline indicator - ) + (setq proof-shell-busy nil)) @@ -489,6 +488,7 @@ shell buffer, alled by `proof-shell-bail-out' if process exits." (setq proof-action-list nil proof-included-files-list nil proof-shell-busy nil + proof-shell-last-queuemode nil proof-shell-proof-completed nil proof-nesting-depth 0 proof-shell-silent nil @@ -957,7 +957,7 @@ being processed." ;;;###autoload -(defun proof-start-queue (start end queueitems) +(defun proof-start-queue (start end queueitems &optional queuemode) "Begin processing a queue of commands in QUEUEITEMS. If START is non-nil, START and END are buffer positions in the active scripting buffer for the queue region. @@ -965,7 +965,7 @@ active scripting buffer for the queue region. This function calls `proof-add-to-queue'." (if start (proof-set-queue-endpoints start end)) - (proof-add-to-queue queueitems)) + (proof-add-to-queue queueitems queuemode)) ;;;###autoload (defun proof-extend-queue (end queueitems) |