|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use ReplDocument | |
---|---|
kawa |
Uses of ReplDocument in kawa |
---|
Methods in kawa with parameters of type ReplDocument | |
---|---|
void |
GuiConsole.closed(ReplDocument doc)
|
void |
ReplDocument.DocumentCloseListener.closed(ReplDocument doc)
Called when a ReplDocument closes. |
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)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |