Fix name.
This commit is contained in:
parent
f02c65dfcc
commit
604e690982
|
@ -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
|
||||
|
|
Loading…
Reference in New Issue
Block a user