From 13e34d32f1100f50cf4e3dccac5696e94ef22a90 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Wed, 5 Nov 2008 02:17:49 +0000 Subject: [PATCH] fixed a bug in the way error highlighting was disabled (for the untested code in the teaching languages) svn: r12240 --- collects/drscheme/private/debug.ss | 1 + 1 file changed, 1 insertion(+) diff --git a/collects/drscheme/private/debug.ss b/collects/drscheme/private/debug.ss index d92d064c13..e905c03a11 100644 --- a/collects/drscheme/private/debug.ss +++ b/collects/drscheme/private/debug.ss @@ -1006,6 +1006,7 @@ profile todo: (send test-not-covered-style-delta set-delta-foreground "maroon") (define erase-test-coverage-style-delta (make-object style-delta% 'change-normal-color)) + (send erase-test-coverage-style-delta set-transparent-text-backing-on #t) (define test-coverage-tab-mixin (mixin (drscheme:rep:context<%> drscheme:unit:tab<%>) (test-coverage-tab<%>)