//
//
//
//
// $Revision$
//
using System;
using System.Collections.Generic;
namespace ICSharpCode.TextEditor.Document
{
///
/// A list of events that are fired after the line manager has finished working.
///
struct DeferredEventList
{
internal List removedLines;
internal List textAnchor;
public void AddRemovedLine(LineSegment line)
{
if (removedLines == null)
removedLines = new List();
removedLines.Add(line);
}
public void AddDeletedAnchor(TextAnchor anchor)
{
if (textAnchor == null)
textAnchor = new List();
textAnchor.Add(anchor);
}
public void RaiseEvents()
{
// removedLines is raised by the LineManager
if (textAnchor != null) {
foreach (TextAnchor a in textAnchor) {
a.RaiseDeleted();
}
}
}
}
}