get-editor% in drscheme:unit:frame
The result of this class is used to create the
editor<%> in this frame.
Override this method to specify a different editor class.
( -> (instanceof (derived-from send a-drscheme:unit:frame get-editor%)editor<%>))
Returns the result of
drscheme:get/extend:get-definitions-text.