diff options
| author | Makarius Wenzel | 2005-11-14 14:37:04 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2005-11-14 14:37:04 +0000 |
| commit | a2bc782f7b08d1fa32d2dc375706f178b14588be (patch) | |
| tree | 33695b110e83529026e0dcfea33949b029ae17a2 | |
| parent | b851888514322ecaefc6898b8a74cbaf412982ce (diff) | |
actually revert to revision 8.15;
| -rw-r--r-- | generic/proof-shell.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index 5dc1f4fc..acb70b7e 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -1953,10 +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 + (setq proof-shell-no-error-display t) (unwind-protect (proof-shell-invisible-command cmd 'waitforit) - (setq proof-shell-no-response-display nil) + (setq proof-shell-no-error-display nil) (setq proof-shell-no-response-display nil)) proof-shell-last-output) |