public static void LoadFromString(this ITextDocument document, string text)
{
string trimmed = text.Equals("\r") ? string.Empty : text;
document.SetText(TextSetOptions.None, trimmed);
document.ClearUndoHistory();
}