static public XmlDocument ExportTextListXML(TextList text_list)
{
FileInfo path = TempFile.File("export_text_list_", "xml");
try
{
text_list.Export(path, ExportOptions.WithDefaults);
XmlDocument doc = LoadDoc(path.ToString());
return(doc);
}
finally
{
try
{
path.Delete();
}
catch (IOException e)
{
Console.WriteLine("Failed to delete temporary file: " + e.Message);
}
}
}
