private void trace(string text)
 {
     text = DateTime.Now.ToString("mm:ss ffff ") + text;
     if (isTracing)
     {
         TraceTextBox.Text += Environment.NewLine + text;
         TraceTextBox.ScrollToEnd();
     }
     else
     {
         isTracing         = true;
         TraceTextBox.Text = text;
     }
 }
 private void AppendTrace(string message)
 {
     TraceTextBox.AppendText(message + Environment.NewLine);
     TraceTextBox.ScrollToEnd();
 }
 private void SetTraceText(string text)
 {
     TraceTextBox.Text = text;
     TraceTextBox.ScrollToEnd();
 }