kawa

Interface ReplDocument.DocumentCloseListener

All Known Implementing Classes:

GuiConsole

Enclosing class:

ReplDocument

public static interface ReplDocument.DocumentCloseListener

Listener interface for when a document closes.

Method Summary

Modifier and Type	Method and Description
void	closed(ReplDocument doc) Called when a ReplDocument closes.

Method Detail

closed

void closed(ReplDocument doc)

Called when a ReplDocument closes.