drscheme:get/extend:extend-definitions-text in DrScheme Tools Functions
(drscheme:get/extend:extend-definitions-text-> void?mixin)
mixin: (make-mixin-contract drscheme:unit:definitions-text<%>)
(drscheme:get/extend:extend-definitions-text-> void?mixinbefore?)
mixin: (make-mixin-contract drscheme:unit:definitions-text<%>)
before?: boolean?This text is used in the top window of drscheme frames.
The argument,
before, controls if the mixin is applied before or after already installed mixins. If unsupplied, this is the same as supplying#f.