From 629cbc1d92d0fcc8e87fece1f86bf25e921ab8e6 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Fri, 25 Jul 2008 14:23:34 +0000 Subject: [PATCH] possible fix for PR9628 and PR9615 svn: r10913 --- collects/drscheme/private/module-language.ss | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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)))