public void UpdateFoldings(ParseInformation parseInfo)
{
if (!textArea.Document.Version.Equals(parseInfo.ParsedVersion)) {
SD.Log.Debug("Folding update ignored; parse information is outdated version");
return;
}
SD.Log.Debug("Update Foldings");
int firstErrorOffset = -1;
IEnumerable<NewFolding> newFoldings = parseInfo.GetFoldings(textArea.Document, out firstErrorOffset);
newFoldings = newFoldings.OrderBy(f => f.StartOffset);
foldingManager.UpdateFoldings(newFoldings, firstErrorOffset);
}
