public class PsiDocumentManagerBase.PriorityEventCollector extends java.lang.Object implements PrioritizedDocumentListener
COMPARATORARRAY_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, waitbeforeDocumentChange, bulkUpdateFinished, bulkUpdateStartingpublic int getPriority()
getPriority in interface PrioritizedDocumentListenerpublic void documentChanged(DocumentEvent event)
DocumentListenerdocumentChanged in interface DocumentListenerevent - the event containing the information about the change.