Fixed contracts in get-ints/get-defs.

svn: r11225
This commit is contained in:
Carl Eastlund 2008-08-13 19:05:18 +00:00
parent eadbc25953
commit edbbca1fa2

View File

@ -43,13 +43,13 @@ Enables the Run button, and the Run menu item and unlocks
(values (or/c thread? false/c) (or/c custodian? false/c))]{} (values (or/c thread? false/c) (or/c custodian? false/c))]{}
@defmethod[(get-defs) @defmethod[(get-defs)
(is-a?/c @scheme[drscheme:rep:text%])]{ (is-a?/c @scheme[drscheme:unit:definitions-text<%>])]{
This text is initially the top half of the drscheme window and This text is initially the top half of the drscheme window and
contains the users program. contains the users program.
This text defaults to a @scheme[text%] This text defaults to a @scheme[text%]
object, but if you change object, but if you change
@scheme[drscheme:get/extend:extend-interactions-text] procedure, it will use the extended class to create the text. @scheme[drscheme:get/extend:extend-definitions-text] procedure, it will use the extended class to create the text.
} }
@ -79,7 +79,7 @@ Returns the frame that this tab is inside.
} }
@defmethod[(get-ints) @defmethod[(get-ints)
(is-a?/c @scheme[drscheme:unit:definitions-text<%>])]{ (is-a?/c @scheme[drscheme:rep:text%])]{
This text is initially the bottom half of the drscheme window and This text is initially the bottom half of the drscheme window and
contains the users interactions with the REPL. contains the users interactions with the REPL.