fix check syntax's stdout so that it can handle specials
related to PR 11854
merge to release, please
(cherry picked from commit 57b9bcfe38
)
This commit is contained in:
parent
8ba24327c1
commit
5030041385
|
@ -1277,11 +1277,13 @@ If the namespace does not, they are colored the unbound color.
|
||||||
(cleanup)
|
(cleanup)
|
||||||
(custodian-shutdown-all user-custodian)))))]
|
(custodian-shutdown-all user-custodian)))))]
|
||||||
[error-port (send (send the-tab get-error-report-text) get-err-port)]
|
[error-port (send (send the-tab get-error-report-text) get-err-port)]
|
||||||
|
[output-port (send (send the-tab get-error-report-text) get-out-port)]
|
||||||
[init-proc
|
[init-proc
|
||||||
(λ () ; =user=
|
(λ () ; =user=
|
||||||
(send the-tab set-breakables (current-thread) (current-custodian))
|
(send the-tab set-breakables (current-thread) (current-custodian))
|
||||||
(set-directory definitions-text)
|
(set-directory definitions-text)
|
||||||
(current-error-port error-port)
|
(current-error-port error-port)
|
||||||
|
(current-output-port output-port)
|
||||||
(error-display-handler
|
(error-display-handler
|
||||||
(λ (msg exn) ;; =user=
|
(λ (msg exn) ;; =user=
|
||||||
(parameterize ([current-eventspace drs-eventspace])
|
(parameterize ([current-eventspace drs-eventspace])
|
||||||
|
|
Loading…
Reference in New Issue
Block a user