get-defs in drscheme:unit:tab<%>
This text is initially the top half of the drscheme window and contains the users program.
This text defaults to a text%
object, but if you change
drscheme:get/extend:extend-interactions-text procedure, it will use the extended class to create the text.
(-> (is-a?/csenda-drscheme:unit:tabget-defs)drscheme:rep:text%)