diff options
| author | Pierre Courtieu | 2005-11-09 15:24:12 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2005-11-09 15:24:12 +0000 |
| commit | df26e1b81bd4fb205e0989b94566f9f97f63a9b8 (patch) | |
| tree | 1d25c9f9f1d26a2475cf5911732704d1cf526116 | |
| parent | ac83c6bb12ec4fdfc7d3d54ecbf9635c223c6e90 (diff) | |
backtracking my change on function
proof-shell-invisible-cmd-get-result, we will fix this better with
David soon (use of the noerror arg).
| -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 62f61ddd..5dc1f4fc 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -1953,8 +1953,10 @@ string instead. Errors are not supressed and will result in a display as usual, unless NOERROR is non-nil." (setq proof-shell-no-response-display t) + (setq proof-shell-no-error-display t) ;;FIX: use noerror (unwind-protect (proof-shell-invisible-command cmd 'waitforit) + (setq proof-shell-no-response-display nil) (setq proof-shell-no-response-display nil)) proof-shell-last-output) |