public interface RangeHighlighter extends RangeMarker
Modifier and Type | Field and Description |
---|---|
static RangeHighlighter[] |
EMPTY_ARRAY |
BY_START_OFFSET
BY_START_OFFSET_THEN_END_OFFSET
Modifier and Type | Method and Description |
---|---|
CustomHighlighterRenderer |
getCustomRenderer() |
MarkupEditorFilter |
getEditorFilter()
Gets the filter which can disable the highlighter in specific editor instances.
|
java.awt.Color |
getErrorStripeMarkColor()
Returns the color of the marker drawn in the error stripe in the area covered by the highlighter.
|
java.lang.Object |
getErrorStripeTooltip()
Returns the object whose
toString() method is called to get the text of the tooltip
for the error stripe marker added by the highlighter. |
GutterIconRenderer |
getGutterIconRenderer()
Returns the renderer used for drawing gutter icons in the area covered by the
highlighter.
|
int |
getLayer()
Returns the relative priority of the highlighter (higher priority highlighters can override
lower priority ones; layer number values for standard IDE highlighters are defined in
HighlighterLayer ). |
LineMarkerRenderer |
getLineMarkerRenderer()
Returns the renderer used for drawing line markers in the area covered by the
highlighter, and optionally for processing mouse events over the markers.
|
java.awt.Color |
getLineSeparatorColor()
Returns the color of the separator drawn above or below the range covered by
the highlighter.
|
SeparatorPlacement |
getLineSeparatorPlacement()
Returns the placement of the separator drawn by the range highlighter
(above or below the range).
|
LineSeparatorRenderer |
getLineSeparatorRenderer() |
HighlighterTargetArea |
getTargetArea()
Returns the value indicating whether the highlighter affects a range of text or a sequence of
of entire lines in the specified range.
|
TextAttributes |
getTextAttributes()
Returns the text attributes used for highlighting.
|
boolean |
isThinErrorStripeMark()
Returns the value indicating whether the error stripe marker has reduced width (like
the markers used to highlight changed lines).
|
void |
setCustomRenderer(CustomHighlighterRenderer renderer) |
void |
setEditorFilter(MarkupEditorFilter filter)
Sets the filter which can disable the highlighter in specific editor instances.
|
void |
setErrorStripeMarkColor(java.awt.Color color)
Sets the color of the marker drawn in the error stripe in the area covered by the highlighter.
|
void |
setErrorStripeTooltip(java.lang.Object tooltipObject)
Sets the object whose
toString() method is called to get the text of the tooltip
for the error stripe marker added by the highlighter. |
void |
setGutterIconRenderer(GutterIconRenderer renderer)
Sets the renderer used for drawing gutter icons in the area covered by the
highlighter.
|
void |
setLineMarkerRenderer(LineMarkerRenderer renderer)
Sets the renderer used for drawing line markers in the area covered by the
highlighter, and optionally for processing mouse events over the markers.
|
void |
setLineSeparatorColor(java.awt.Color color)
Sets the color of the separator drawn above or below the range covered by
the highlighter.
|
void |
setLineSeparatorPlacement(SeparatorPlacement placement)
Sets the placement of the separator drawn by the range highlighter
(above or below the range).
|
void |
setLineSeparatorRenderer(LineSeparatorRenderer renderer) |
void |
setThinErrorStripeMark(boolean value)
Sets the value indicating whether the error stripe marker has reduced width (like
the markers used to highlight changed lines).
|
dispose, getDocument, getEndOffset, getStartOffset, isGreedyToLeft, isGreedyToRight, isValid, setGreedyToLeft, setGreedyToRight
getUserData, putUserData
static final RangeHighlighter[] EMPTY_ARRAY
int getLayer()
HighlighterLayer
).HighlighterTargetArea getTargetArea()
TextAttributes getTextAttributes()
null
if the highlighter
does not modify the text attributes.LineMarkerRenderer getLineMarkerRenderer()
null
if the highlighter does not add any line markers.ActiveGutterRenderer
void setLineMarkerRenderer(LineMarkerRenderer renderer)
renderer
- the renderer instance, or null
if the highlighter does not add any line markers.ActiveGutterRenderer
CustomHighlighterRenderer getCustomRenderer()
void setCustomRenderer(CustomHighlighterRenderer renderer)
GutterIconRenderer getGutterIconRenderer()
null
if the highlighter does not add any gutter icons.void setGutterIconRenderer(GutterIconRenderer renderer)
renderer
- the renderer instance, or null
if the highlighter does not add any gutter icons.java.awt.Color getErrorStripeMarkColor()
null
if the highlighter does not add any
error stripe markers.void setErrorStripeMarkColor(java.awt.Color color)
color
- the error stripe marker color, or null
if the highlighter does not add any
error stripe markers.java.lang.Object getErrorStripeTooltip()
toString()
method is called to get the text of the tooltip
for the error stripe marker added by the highlighter.null
if the highlighter does not add any error
stripe markers or the marker has no tooltip.void setErrorStripeTooltip(java.lang.Object tooltipObject)
toString()
method is called to get the text of the tooltip
for the error stripe marker added by the highlighter.tooltipObject
- the error stripe tooltip objects, or null
if the highlighter does not
add any error stripe markers or the marker has no tooltip.boolean isThinErrorStripeMark()
true
if the marker has reduced width, false
otherwise.void setThinErrorStripeMark(boolean value)
value
- true
if the marker has reduced width, false
otherwise.java.awt.Color getLineSeparatorColor()
null
if the highlighter does not add a line separator.void setLineSeparatorColor(java.awt.Color color)
color
- the separator color, or null
if the highlighter does not add a line separator.void setLineSeparatorRenderer(LineSeparatorRenderer renderer)
LineSeparatorRenderer getLineSeparatorRenderer()
SeparatorPlacement getLineSeparatorPlacement()
null
if the highlighter does not add a line separator.void setLineSeparatorPlacement(SeparatorPlacement placement)
placement
- the separator placement, or null
if the highlighter does not add a line separator.void setEditorFilter(MarkupEditorFilter filter)
filter
- the filter controlling the highlighter availability, or MarkupEditorFilter.EMPTY
if
highlighter is available in all editors.MarkupEditorFilter getEditorFilter()
MarkupEditorFilter.EMPTY
.