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
 void closed(ReplDocument doc)
          Called when a ReplDocument closes.
 

Method Detail

closed

void closed(ReplDocument doc)
Called when a ReplDocument closes.