| private InformFoldChanged ( FoldSegmentEventArgs args ) : void | ||
| args | FoldSegmentEventArgs | |
| return | void | |
internal void InformFoldChanged (FoldSegmentEventArgs args)
{
if (args.FoldSegment.IsFolded) {
foldedSegments.Add (args.FoldSegment);
} else {
foldedSegments.Remove (args.FoldSegment);
}
var handler = Folded;
if (handler != null)
handler (this, args);
}