Uses of Class
kawa.ReplDocument

Packages that use ReplDocument

Package	Description
kawa	Classes for user interaction with Kawa.

Uses of ReplDocument in kawa

Methods in kawa with parameters of type ReplDocument

Modifier and Type	Method and Description
void	GuiConsole.closed(ReplDocument doc)
void	ReplDocument.DocumentCloseListener.closed(ReplDocument doc) Called when a ReplDocument closes.

Constructors in kawa with parameters of type ReplDocument

Constructor and Description
GuiConsole(ReplDocument doc)
ReplPane(ReplDocument document) simple TextArea that always scrolls to the bottom.
ReplPaneOutPort(ReplDocument document, java.lang.String path, javax.swing.text.AttributeSet style)