Uses of Interface
kawa.ReplDocument.DocumentCloseListener

Packages that use ReplDocument.DocumentCloseListener
kawa   
 

Uses of ReplDocument.DocumentCloseListener in kawa
 

Classes in kawa that implement ReplDocument.DocumentCloseListener
 class GuiConsole
          A Frame containing a Kawa read-eval-print loop.
 

Methods in kawa with parameters of type ReplDocument.DocumentCloseListener
 void ReplDocument.addDocumentCloseListener(ReplDocument.DocumentCloseListener listener)
          Register a DocumentCloseListener.
 void ReplDocument.removeDocumentCloseListener(ReplDocument.DocumentCloseListener listener)