| Package | Description |
|---|---|
| kawa |
| Modifier and Type | Method and Description |
|---|---|
void |
ReplDocument.DocumentCloseListener.closed(ReplDocument doc)
Called when a ReplDocument closes.
|
void |
GuiConsole.closed(ReplDocument doc) |
| 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) |