public class EditorFoldingInfo
extends java.lang.Object
'fold region -> PSI element' mappings.| Constructor and Description |
|---|
EditorFoldingInfo() |
| Modifier and Type | Method and Description |
|---|---|
static EditorFoldingInfo |
get(Editor editor) |
PsiElement |
getPsiElement(FoldRegion region) |
void |
removeRegion(FoldRegion region) |
public static EditorFoldingInfo get(Editor editor)
public PsiElement getPsiElement(FoldRegion region)
public void removeRegion(FoldRegion region)