public interface FoldingListener
Modifier and Type | Method and Description |
---|---|
default void |
beforeFoldRegionRemoved(FoldRegion region)
Informs that the given fold region is about to be removed.
|
default void |
onFoldProcessingEnd()
Informs that fold processing is done.
|
default void |
onFoldRegionStateChange(FoldRegion region)
Informs that
'collapsed' state of given fold region is just changed, or that the given fold region has just been created. |
default void onFoldRegionStateChange(FoldRegion region)
'collapsed'
state of given fold region is just changed, or that the given fold region has just been created.
Note: listener should delay fold region state processing until onFoldProcessingEnd()
is called.
I.e. folding model may return inconsistent data between current moment and onFoldProcessingEnd()
.region
- fold region that is just collapsed or expandeddefault void beforeFoldRegionRemoved(FoldRegion region)
default void onFoldProcessingEnd()