/// <summary> /// Writes data stored in memory to an appriopriate text format. /// </summary> /// <param name="fileName"></param> /// <param name="ff"></param> public void DumpToFile(string fileName, Fileformat ff) { File.Delete(fileName); /* for now, it's better not to sort, to preserve original order */ // StringRefs.Sort(CompareTlkStringRef); if (ff == Fileformat.Xml) SaveToXmlFile(fileName); else SaveToTextFile(fileName); }