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