diff options
| author | David Aspinall | 2010-09-29 12:20:10 +0000 |
|---|---|---|
| committer | David Aspinall | 2010-09-29 12:20:10 +0000 |
| commit | c4ec51bc48097bb0b8947b7ac7d78a8b4de4a6f2 (patch) | |
| tree | 7c84bbfda4000cf9704656242ce26a99d10fb859 /generic/proof-shell.el | |
| parent | d12604ffc699a283fa92ec8b6845238d6f2f55af (diff) | |
Support proof-shell-init-cmd being a list
Diffstat (limited to 'generic/proof-shell.el')
| -rw-r--r-- | generic/proof-shell.el | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index 207fb10f..daf7db09 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -1756,8 +1756,13 @@ processing." (unwind-protect (progn (run-hooks 'proof-shell-init-hook) - (if proof-shell-init-cmd - (proof-shell-invisible-command proof-shell-init-cmd t)) + (when proof-shell-init-cmd + (if (listp proof-shell-init-cmd) + (mapcar 'proof-shell-invisible-command-invisible-result + proof-shell-init-cmd) + (proof-shell-invisible-command-invisible-result + proof-shell-init-cmd))) + (proof-shell-wait) (if proof-assistant-settings (mapcar (lambda (c) (proof-shell-invisible-command c t)) |