public void foldStateChangeEndOffsetChanged(FoldStateChange fsc, int originalEndOffset) {
fsc.endOffsetChanged(originalEndOffset);
}
public void foldStateChangeDescriptionChanged(FoldStateChange fsc) {
fsc.descriptionChanged();
}
public void foldStateChangeStartOffsetChanged(FoldStateChange fsc, int originalStartOffset) {
fsc.startOffsetChanged(originalStartOffset);
}
public void foldStateChangeCollapsedChanged(FoldStateChange fsc) {
fsc.collapsedChanged();
}