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)