1 USING: ui.gadgets ui.gadgets.editors listener io help.syntax
3 IN: ui.tools.interactor
6 { $class-description "An interactor is an " { $link editor } " intended to be used as the input component of a " { $link "ui-listener" } "."
8 "Interactors are created by calling " { $link <interactor> } "."
10 "Interactors implement the " { $link stream-readln } ", " { $link stream-read } " and " { $link read-quot } " generic words." } ;