Uses of Class
kawa.ReplDocument

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)