fixed a bug in the way error highlighting was disabled (for the untested code in the teaching languages)

svn: r12240
This commit is contained in:
Robby Findler 2008-11-05 02:17:49 +00:00
parent 01354149ee
commit 13e34d32f1

View File

@ -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<%>)