Fold[] removedFolds
Fold[] addedFolds
FoldStateChange[] foldStateChanges
int affectedStartOffset
int affectedEndOffset
Built on April 17 2024. | Copyright © 2017-2024 Apache Software Foundation. All Rights Reserved.