// // // // // $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(); } } } } }