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