From df26e1b81bd4fb205e0989b94566f9f97f63a9b8 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Wed, 9 Nov 2005 15:24:12 +0000
Subject: backtracking my change on function
 proof-shell-invisible-cmd-get-result, we will fix this better with David soon
 (use of the noerror arg).

---
 generic/proof-shell.el | 2 ++
 1 file changed, 2 insertions(+)

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)
 
-- 
cgit v1.2.3