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)