Esempio n. 1
0
        void AddAnchor(TextAnchor anchor)
        {
            Debug.Assert(anchor.Line == this);

            if (anchors == null)
            {
                anchors = new Utilities.WeakCollection <TextAnchor>();
            }

            anchors.Add(anchor);
        }
Esempio n. 2
0
 /// <summary>
 /// Is called when the LineSegment is deleted.
 /// </summary>
 internal void Deleted()
 {
     treeEntry = LineSegmentTree.Enumerator.Invalid;
     if (anchors != null)
     {
         foreach (TextAnchor a in anchors)
         {
             a.Deleted();
         }
         anchors = null;
     }
 }
 /// <summary>
 /// Is called when the <see cref="LineSegment"/> is deleted.
 /// </summary>
 /// <param name="deferredEventList">The deferred event list.</param>
 internal void Deleted(ref DeferredEventList deferredEventList)
 {
     //Console.WriteLine("Deleted");
     _treeEntry = LineSegmentTree.Enumerator.Invalid;
     if (_anchors != null)
     {
         foreach (TextAnchor anchor in _anchors)
         {
             anchor.Delete(ref deferredEventList);
         }
         _anchors = null;
     }
 }
        void AddAnchor(TextAnchor anchor)
        {
            Debug.Assert(anchor.Line == this);

              if (_anchors == null)
            _anchors = new Utilities.WeakCollection<TextAnchor>();

              _anchors.Add(anchor);
        }
 /// <summary>
 /// Is called when the <see cref="LineSegment"/> is deleted.
 /// </summary>
 /// <param name="deferredEventList">The deferred event list.</param>
 internal void Deleted(ref DeferredEventList deferredEventList)
 {
     //Console.WriteLine("Deleted");
       _treeEntry = LineSegmentTree.Enumerator.Invalid;
       if (_anchors != null)
       {
     foreach (TextAnchor anchor in _anchors)
     {
       anchor.Delete(ref deferredEventList);
     }
     _anchors = null;
       }
 }
 /// <summary>
 /// Is called when the LineSegment is deleted.
 /// </summary>
 internal void Deleted()
 {
   treeEntry = LineSegmentTree.Enumerator.Invalid;
   if (anchors != null)
   {
     foreach (TextAnchor a in anchors)
     {
       a.Deleted();
     }
     anchors = null;
   }
 }