void HandleTextEditorDataDocumentFolded(object sender, FoldSegmentEventArgs e)
{
int start = OffsetToLineNumber(e.FoldSegment.StartLine.Offset);
int end = OffsetToLineNumber(e.FoldSegment.EndLine.Offset);
if (e.FoldSegment.IsFolded)
{
if (e.FoldSegment.Marker != null)
{
heightTree.Unfold(e.FoldSegment.Marker, start, end - start);
}
e.FoldSegment.Marker = heightTree.Fold(start, end - start);
}
else
{
heightTree.Unfold(e.FoldSegment.Marker, start, end - start);
e.FoldSegment.Marker = null;
}
}
