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)