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

All Superinterfaces:

DocumentListener, EventListener

public interface DocumentUIListener
extends DocumentListener

The purpose for this interface's existence is to make the document listener added by our MainFrame distinguishable by the model (specifically the DDReconstructor) from the other registered DocumentListeners when saving the necessary info from the DefinitionsDocument before the document cache boots it out.

Method Summary

Methods inherited from interface javax.swing.event.DocumentListener

changedUpdate, insertUpdate, removeUpdate