void UnderLineError (Document doc, Error info)
{
var line = doc.GetLine (info.Region.BeginLine);
// If the line is already underlined
if (errors.Any (em => em.LineSegment == line))
return;
ErrorMarker error = new ErrorMarker (textEditor.Document, info, line);
errors.Add (error);
doc.AddMarker (line, error);
}
void UnderLineError (Error info)
{
if (this.isDisposed)
return;
// Adjust the line to Gtk line representation
// info.Line -= 1;
// If the line is already underlined
if (errors.ContainsKey (info.Region.Start.Line))
return;
LineSegment line = this.TextEditor.Document.GetLine (info.Region.Start.Line);
ErrorMarker error = new ErrorMarker (info, line);
errors [info.Region.Start.Line] = error;
error.AddToLine (this.TextEditor.Document);
}