edu.rice.cs.drjava.model.definitions
Interface DocumentClosedListener

public interface DocumentClosedListener

This listener can be added to DefinitionsDocuments, and will be fired when the document is closing.

Method Summary

void	close() Called when the DefinitionsDocument is closing.

Method Detail

close

void close()

Called when the DefinitionsDocument is closing.