public interface FoldRegion extends RangeMarker
Modifier and Type | Field and Description |
---|---|
static FoldRegion[] |
EMPTY_ARRAY |
BY_START_OFFSET
BY_START_OFFSET_THEN_END_OFFSET
Modifier and Type | Method and Description |
---|---|
default boolean |
areInnerHighlightersMuted() |
Editor |
getEditor() |
FoldingGroup |
getGroup() |
java.lang.String |
getPlaceholderText()
Returns the placeholder text displayed when the fold region is collapsed.
|
boolean |
isExpanded()
Checks if the fold region is currently expanded.
|
default boolean |
isGutterMarkEnabledForSingleLine() |
void |
setExpanded(boolean expanded)
Expands or collapses the fold region.
|
default void |
setGutterMarkEnabledForSingleLine(boolean value)
By default, gutter mark (for collapsing/expanding the region using mouse) is not shown for a folding region, if it's contained within
a single document line.
|
default void |
setInnerHighlightersMuted(boolean value)
If inner highlighters are muted for a collapsed fold region, there will be no visual indication
that region contains certain highlighters inside.
|
default void |
setPlaceholderText(java.lang.String text)
Updates region's placeholder text.
|
boolean |
shouldNeverExpand()
If
true , this region is always in a collapsed state, setExpanded(boolean) does nothing for it. |
dispose, getDocument, getEndOffset, getStartOffset, isGreedyToLeft, isGreedyToRight, isValid, setGreedyToLeft, setGreedyToRight
getUserData, putUserData
static final FoldRegion[] EMPTY_ARRAY
boolean isExpanded()
void setExpanded(boolean expanded)
expanded
- true if the region should be expanded, false otherwise.java.lang.String getPlaceholderText()
Editor getEditor()
FoldingGroup getGroup()
boolean shouldNeverExpand()
true
, this region is always in a collapsed state, setExpanded(boolean)
does nothing for it. No marker is displayed
in gutter for such a region.default void setInnerHighlightersMuted(boolean value)
RangeHighlighterEx.isVisibleIfFolded()
default boolean areInnerHighlightersMuted()
setInnerHighlightersMuted(boolean)
default void setGutterMarkEnabledForSingleLine(boolean value)
default boolean isGutterMarkEnabledForSingleLine()
default void setPlaceholderText(java.lang.String text)
FoldingModel.runBatchFoldingOperation(Runnable)
, like any other
operations with fold regions.