| edu.rice.cs.drjava.model.definitions.DocumentClosedListener
DocumentClosedListener | public interface DocumentClosedListener (Code) | | This listener can be added to DefinitionsDocuments, and will be fired when the document is closing.
|
Method Summary | |
public void | close() Called when the DefinitionsDocument is closing. |
close | public void close()(Code) | | Called when the DefinitionsDocument is closing.
|
|
|