public class EmptyEditorHighlighter extends java.lang.Object implements EditorHighlighter, PrioritizedDocumentListener
COMPARATOR
ARRAY_FACTORY, EMPTY_ARRAY
Constructor and Description |
---|
EmptyEditorHighlighter(TextAttributes attributes) |
Modifier and Type | Method and Description |
---|---|
HighlighterIterator |
createIterator(int startOffset) |
void |
documentChanged(DocumentEvent e)
Called after the text of the document has been changed.
|
int |
getPriority() |
void |
setAttributes(TextAttributes attributes) |
void |
setColorScheme(EditorColorsScheme scheme) |
void |
setEditor(HighlighterClient editor) |
void |
setText(java.lang.CharSequence text) |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
beforeDocumentChange, bulkUpdateFinished, bulkUpdateStarting
public EmptyEditorHighlighter(TextAttributes attributes)
public void setAttributes(TextAttributes attributes)
public void setText(java.lang.CharSequence text)
setText
in interface EditorHighlighter
public void setEditor(HighlighterClient editor)
setEditor
in interface EditorHighlighter
public void setColorScheme(EditorColorsScheme scheme)
setColorScheme
in interface EditorHighlighter
public void documentChanged(DocumentEvent e)
DocumentListener
documentChanged
in interface DocumentListener
e
- the event containing the information about the change.public int getPriority()
getPriority
in interface PrioritizedDocumentListener
public HighlighterIterator createIterator(int startOffset)
createIterator
in interface EditorHighlighter