private void EnsureReporterIsSelected(INamedProgressReporter reporter)
{
var index = NamedReporters.IndexOf(reporter);
if (outputSourcesToolStripComboBox.SelectedIndex != index)
{
outputSourcesToolStripComboBox.SelectedIndex = index;
UpdateOutputLog(reporter);
}
}
private void AppendText(INamedProgressReporter reporter, MessageSeverity severity, string message)
{
var builder = _reporterContexts[reporter].Builder;
string formatted = string.Format("[{0}]: {1}", severity, message);
builder.Append(formatted);
if (outputSourcesToolStripComboBox.SelectedIndex == NamedReporters.IndexOf(reporter))
{
textBox1.AppendText(formatted);
ScrollToEnd();
}
}
private void AppendText(INamedProgressReporter reporter, MessageSeverity severity, string message)
{
var builder = _reporterContexts[reporter].Builder;
string formatted = string.Format("[{0}]: {1}", severity, message);
builder.Append(formatted);
if (outputSourcesToolStripComboBox.SelectedIndex == NamedReporters.IndexOf(reporter))
{
textBox1.AppendText(formatted);
ScrollToEnd();
}
}
public ReporterContext(INamedProgressReporter reporter)
{
Reporter = reporter;
Name = reporter.DisplayName;
Builder = new StringBuilder();
}
private void UpdateOutputLog(INamedProgressReporter reporter)
{
textBox1.Text = _reporterContexts[reporter].Builder.ToString();
ScrollToEnd();
}
public ReporterContext(INamedProgressReporter reporter)
{
Reporter = reporter;
Name = reporter.DisplayName;
Builder = new StringBuilder();
}
private void UpdateOutputLog(INamedProgressReporter reporter)
{
textBox1.Text = _reporterContexts[reporter].Builder.ToString();
ScrollToEnd();
}
private void EnsureReporterIsSelected(INamedProgressReporter reporter)
{
var index = NamedReporters.IndexOf(reporter);
if (outputSourcesToolStripComboBox.SelectedIndex != index)
{
outputSourcesToolStripComboBox.SelectedIndex = index;
UpdateOutputLog(reporter);
}
}
