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-fromsenda-drscheme:unit:frameget-editor%)editor<%>))Returns the result of
drscheme:get/extend:get-definitions-text.