public class PsiDocumentManagerBase.PriorityEventCollector extends java.lang.Object implements PrioritizedDocumentListener
COMPARATOR
ARRAY_FACTORY, EMPTY_ARRAY
Constructor and Description |
---|
PriorityEventCollector() |
Modifier and Type | Method and Description |
---|---|
void |
documentChanged(DocumentEvent event)
Called after the text of the document has been changed.
|
int |
getPriority() |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
beforeDocumentChange, bulkUpdateFinished, bulkUpdateStarting
public int getPriority()
getPriority
in interface PrioritizedDocumentListener
public void documentChanged(DocumentEvent event)
DocumentListener
documentChanged
in interface DocumentListener
event
- the event containing the information about the change.