diff --git a/collects/drscheme/private/module-language.ss b/collects/drscheme/private/module-language.ss index c05f2029e9..1e70bc08cf 100644 --- a/collects/drscheme/private/module-language.ss +++ b/collects/drscheme/private/module-language.ss @@ -263,7 +263,8 @@ (queue-callback (λ () (send* rep (insert-warning "\nInteractions disabled.") - (set-show-no-user-evaluation-message? #f)) + (set-show-no-user-evaluation-message? #f) + (highlight-errors/exn exn)) (semaphore-post s)))) (semaphore-wait s)) (custodian-shutdown-all (send rep get-user-custodian)))