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);
		}