From 604e6909826672c59fdfd2740065d5aac649dbdb Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Fri, 1 Jul 2011 10:42:28 -0400 Subject: [PATCH] Fix name. --- collects/typed-scheme/optimizer/tool/tool.rkt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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