From 7e1dfbf210078ff84197e39830ce6c49041b5cd3 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 26 Aug 2010 23:18:56 +0000
Subject: proof-shell-display-output-as-response: fix to check for
 no-response-display, so that proof-shell-invisible-command-invisible-result
 does what it says on the tin.

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

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index c47dedee..d3e4e28d 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -1354,7 +1354,7 @@ by the filter is to send the next command from the queue."
 (defsubst proof-shell-display-output-as-response (flags str)
   "If FLAGS permit, display response STR; set `proof-shell-last-response-output'."
   (setq proof-shell-last-response-output str) ; set even if not displayed
-  (unless (memq 'no-error-display flags)
+  (unless (memq 'no-response-display flags)
     (pg-response-display str)))
 
 (defun proof-shell-handle-delayed-output ()
-- 
cgit v1.2.3