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