Uses of Class
kawa.ReplDocument

Packages that use ReplDocument

kawa

Uses of ReplDocument in kawa

Methods in kawa with parameters of type ReplDocument

void	ReplDocument.DocumentCloseListener.closed(ReplDocument doc) Called when a ReplDocument closes.
void	GuiConsole.closed(ReplDocument doc)

Constructors in kawa with parameters of type ReplDocument

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)