diff --git a/collects/typed-scheme/optimizer/tool/tool.rkt b/collects/typed-scheme/optimizer/tool/tool.rkt index 8453cae3c2..f301180009 100644 --- a/collects/typed-scheme/optimizer/tool/tool.rkt +++ b/collects/typed-scheme/optimizer/tool/tool.rkt @@ -43,7 +43,7 @@ (min 255 (- max-g (* (sub1 x) bucket-size-g))) (min 255 (- max-b (* (sub1 x) bucket-size-b))))))) -(define remove-highlights-mixin +(define highlights-mixin (mixin ((class->interface text%)) () (inherit begin-edit-sequence end-edit-sequence @@ -178,7 +178,7 @@ (export drracket:tool-exports^) (define (phase1) (void)) (define (phase2) (void)) - (drracket:get/extend:extend-definitions-text remove-highlights-mixin)) + (drracket:get/extend:extend-definitions-text highlights-mixin)) (define performance-report-drracket-button (list