void AddAnchor(TextAnchor anchor)
{
Debug.Assert(anchor.Line == this);
if (anchors == null)
{
anchors = new Util.WeakCollection <TextAnchor>();
}
anchors.Add(anchor);
}
internal void Deleted(ref DeferredEventList deferredEventList)
{
treeEntry = LineSegmentTree.Enumerator.Invalid;
if (anchors != null)
{
foreach (TextAnchor a in anchors)
{
a.Delete(ref deferredEventList);
}
anchors = null;
}
}
/// <summary>
/// Is called when the LineSegment is deleted.
/// </summary>
internal void Deleted()
{
//Console.WriteLine("Deleted");
treeEntry = LineSegmentTree.Enumerator.Invalid;
if (anchors != null)
{
foreach (TextAnchor a in anchors)
{
a.Deleted();
}
anchors = null;
}
}
/// <summary>
/// Is called when the LineSegment is deleted.
/// </summary>
internal void Deleted(ref DeferredEventList deferredEventList)
{
//Console.WriteLine("Deleted");
_treeEntry = LineSegmentTree.Enumerator.Invalid;
if (_anchors != null)
{
foreach (TextAnchor a in _anchors)
{
a.Delete(ref deferredEventList);
}
_anchors = null;
}
}
/// <summary>
/// Is called when the LineSegment is deleted.
/// </summary>
internal void Deleted()
{
//Console.WriteLine("Deleted");
treeEntry = LineSegmentTree.Enumerator.Invalid;
if (anchors != null) {
foreach (TextAnchor a in anchors) {
a.Deleted();
}
anchors = null;
}
}
void AddAnchor(TextAnchor anchor)
{
Debug.Assert(anchor.Line == this);
if (anchors == null)
anchors = new Util.WeakCollection<TextAnchor>();
anchors.Add(anchor);
}
