public class FoldingUtil
extends java.lang.Object
Modifier and Type | Method and Description |
---|---|
static java.util.Iterator<FoldRegion> |
createFoldTreeIterator(Editor editor)
Iterates fold regions tree in a depth-first order (pre-order)
|
static FoldRegion |
findFoldRegion(Editor editor,
int startOffset,
int endOffset) |
static FoldRegion |
findFoldRegionStartingAtLine(Editor editor,
int line) |
static FoldRegion[] |
getFoldRegionsAtOffset(Editor editor,
int offset) |
static boolean |
isHighlighterFolded(Editor editor,
RangeHighlighter highlighter) |
static boolean |
isTextRangeFolded(Editor editor,
TextRange range) |
public static FoldRegion findFoldRegion(Editor editor, int startOffset, int endOffset)
public static FoldRegion findFoldRegionStartingAtLine(Editor editor, int line)
public static FoldRegion[] getFoldRegionsAtOffset(Editor editor, int offset)
public static boolean isHighlighterFolded(Editor editor, RangeHighlighter highlighter)
public static java.util.Iterator<FoldRegion> createFoldTreeIterator(Editor editor)