void HandleFoldSegmentTreetreeNodeRemoved (object sender, RedBlackTree<FoldSegment>.RedBlackTreeNodeEventArgs e) { if (e.Node.IsFolded) foldedSegments.Remove (e.Node); }