public interface RangeHighlighterEx extends RangeHighlighter, RangeMarkerEx
Modifier and Type | Field and Description |
---|---|
static java.util.Comparator<RangeHighlighterEx> |
BY_AFFECTED_START_OFFSET |
static RangeHighlighterEx[] |
EMPTY_ARRAY |
BY_START_OFFSET
BY_START_OFFSET_THEN_END_OFFSET
Modifier and Type | Method and Description |
---|---|
int |
getAffectedAreaEndOffset() |
int |
getAffectedAreaStartOffset() |
boolean |
isAfterEndOfLine() |
default boolean |
isRenderedInGutter() |
default boolean |
isRenderedInScrollBar() |
boolean |
isVisibleIfFolded()
If
true , there will be a visual indication that this highlighter is present inside a collapsed fold region. |
void |
setAfterEndOfLine(boolean value) |
void |
setTextAttributes(TextAttributes textAttributes) |
void |
setVisibleIfFolded(boolean value) |
getCustomRenderer, getEditorFilter, getErrorStripeMarkColor, getErrorStripeTooltip, getGutterIconRenderer, getLayer, getLineMarkerRenderer, getLineSeparatorColor, getLineSeparatorPlacement, getLineSeparatorRenderer, getTargetArea, getTextAttributes, isThinErrorStripeMark, setCustomRenderer, setEditorFilter, setErrorStripeMarkColor, setErrorStripeTooltip, setGutterIconRenderer, setLineMarkerRenderer, setLineSeparatorColor, setLineSeparatorPlacement, setLineSeparatorRenderer, setThinErrorStripeMark
documentChanged, getId
dispose, getDocument, getEndOffset, getStartOffset, isGreedyToLeft, isGreedyToRight, isValid, setGreedyToLeft, setGreedyToRight
getUserData, putUserData
static final RangeHighlighterEx[] EMPTY_ARRAY
static final java.util.Comparator<RangeHighlighterEx> BY_AFFECTED_START_OFFSET
boolean isAfterEndOfLine()
void setAfterEndOfLine(boolean value)
int getAffectedAreaStartOffset()
int getAffectedAreaEndOffset()
void setTextAttributes(TextAttributes textAttributes)
void setVisibleIfFolded(boolean value)
isVisibleIfFolded()
boolean isVisibleIfFolded()
true
, there will be a visual indication that this highlighter is present inside a collapsed fold region.
By default it won't happen, use setVisibleIfFolded(boolean)
to change it.default boolean isRenderedInGutter()
default boolean isRenderedInScrollBar()