diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2010-08-26 23:18:56 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2010-08-26 23:18:56 +0000 |
commit | 7e1dfbf210078ff84197e39830ce6c49041b5cd3 (patch) | |
tree | a5f1a8547c71e5e85b6a2e592820a108ffe8a109 /generic/proof-shell.el | |
parent | 3d3cce21a649451b2f4cfdc42b9ded4757fdaad1 (diff) |
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.
Diffstat (limited to 'generic/proof-shell.el')
-rw-r--r-- | generic/proof-shell.el | 2 |
1 files changed, 1 insertions, 1 deletions
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 () |