// exports the document public void ExportDocument(string filename) { FileStream f = File.Open(filename, FileMode.Create); pointSets.ExportToFile(f, coordSettings, gridDisplaySettings, exportSettings); ExportPath = filename; }
private void CreatePreview() { FileStream f = File.Create("xporttemp_1313_1313.tmp"); pointsets.ExportToFile(f, coordSettings, gridSettings, settings); StreamReader reader = new StreamReader(File.Open("xporttemp_1313_1313.tmp", FileMode.Open)); string text = reader.ReadToEnd(); reader.Close(); File.Delete("xporttemp_1313_1313.tmp"); richTextBox1.Text = text; }