public class EmptyEditorHighlighter extends java.lang.Object implements EditorHighlighter, PrioritizedDocumentListener
COMPARATORARRAY_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, waitbeforeDocumentChange, bulkUpdateFinished, bulkUpdateStartingpublic EmptyEditorHighlighter(TextAttributes attributes)
public void setAttributes(TextAttributes attributes)
public void setText(java.lang.CharSequence text)
setText in interface EditorHighlighterpublic void setEditor(HighlighterClient editor)
setEditor in interface EditorHighlighterpublic void setColorScheme(EditorColorsScheme scheme)
setColorScheme in interface EditorHighlighterpublic void documentChanged(DocumentEvent e)
DocumentListenerdocumentChanged in interface DocumentListenere - the event containing the information about the change.public int getPriority()
getPriority in interface PrioritizedDocumentListenerpublic HighlighterIterator createIterator(int startOffset)
createIterator in interface EditorHighlighter