//public event WriteNotifyEventHandler WriteNotifyEventHandler;
// Optional Notify handler
//void writer_WriteNotify(object sender, TraceEventArgs args)
//{
// this.toolStripStatusLabel1.Text = string.Format("Writing: {0}", args.CurrentRecord[0]);
// args.SkipRecord = false;
//}
public void Save(string filename)
{
TraceFile writer = new TraceFile();
writer.InitializeAsWriter(this.trace, filename);
//if (WriteNotifyEventHandler != null) writer.WriteNotify += WriteNotifyEventHandler;
while (writer.Write()) ;
writer.Close();
}