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();
 }
Пример #3
0
 /// <summary>
 /// Logs the specified message.  Called by the CallbackLogger.
 /// </summary>
 /// <param name="message">The message.</param>
 /// <param name="category">The category.</param>
 public void Log(string message, Category category)
 {
     TraceTextBox.AppendText(string.Format(CultureInfo.CurrentUICulture, "[{0}] {1}\r\n", category, message));
 }
 private void SetTraceText(string text)
 {
     TraceTextBox.Text = text;
     TraceTextBox.ScrollToEnd();
 }