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()