public interface FoldingModelEx extends FoldingModel
Modifier and Type | Method and Description |
---|---|
void |
addListener(FoldingListener listener,
Disposable parentDisposable) |
void |
clearDocumentRangesModificationStatus() |
void |
clearFoldRegions() |
FoldRegion |
createFoldRegion(int startOffset,
int endOffset,
java.lang.String placeholder,
FoldingGroup group,
boolean neverExpands) |
FoldRegion[] |
fetchTopLevel() |
FoldRegion |
getFoldingPlaceholderAt(java.awt.Point p) |
java.util.List<FoldRegion> |
getGroupedRegions(FoldingGroup group) |
int |
getLastCollapsedRegionBefore(int offset)
Returns an index in an array returned by
fetchTopLevel() method, for the last folding region lying entirely before given
offset (region can touch given offset at its right edge). |
TextAttributes |
getPlaceholderAttributes() |
boolean |
hasDocumentRegionChangedFor(FoldRegion region) |
boolean |
intersectsRegion(int startOffset,
int endOffset) |
boolean |
isFoldingEnabled() |
void |
rebuild() |
void |
setFoldingEnabled(boolean isEnabled) |
addFoldRegion, addFoldRegion, getAllFoldRegions, getCollapsedRegionAtOffset, getFoldRegion, isOffsetCollapsed, removeFoldRegion, runBatchFoldingOperation, runBatchFoldingOperation, runBatchFoldingOperation, runBatchFoldingOperationDoNotCollapseCaret
void setFoldingEnabled(boolean isEnabled)
boolean isFoldingEnabled()
FoldRegion getFoldingPlaceholderAt(java.awt.Point p)
boolean intersectsRegion(int startOffset, int endOffset)
int getLastCollapsedRegionBefore(int offset)
fetchTopLevel()
method, for the last folding region lying entirely before given
offset (region can touch given offset at its right edge).TextAttributes getPlaceholderAttributes()
FoldRegion[] fetchTopLevel()
FoldRegion createFoldRegion(int startOffset, int endOffset, java.lang.String placeholder, FoldingGroup group, boolean neverExpands)
neverExpands
- If true
, the created region is created in the collapsed state, and cannot be expanded
(FoldRegion.setExpanded(boolean)
does nothing for it). No marker will be displayed in gutter for such a
region. 'Never-expanding' fold region cannot be part of a FoldingGroup
.void addListener(FoldingListener listener, Disposable parentDisposable)
void clearFoldRegions()
void rebuild()
java.util.List<FoldRegion> getGroupedRegions(FoldingGroup group)
void clearDocumentRangesModificationStatus()
boolean hasDocumentRegionChangedFor(FoldRegion region)