Uses of Interface
kawa.ReplDocument.DocumentCloseListener

Packages that use ReplDocument.DocumentCloseListener

Package	Description
kawa	Classes for user interaction with Kawa.

Uses of ReplDocument.DocumentCloseListener in kawa

Classes in kawa that implement ReplDocument.DocumentCloseListener

Modifier and Type	Class and Description
class	GuiConsole A Frame containing a Kawa read-eval-print loop.

Methods in kawa with parameters of type ReplDocument.DocumentCloseListener

Modifier and Type	Method and Description
void	ReplDocument.addDocumentCloseListener(ReplDocument.DocumentCloseListener listener) Register a DocumentCloseListener.
void	ReplDocument.removeDocumentCloseListener(ReplDocument.DocumentCloseListener listener)