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(); } }
public ReporterContext(INamedProgressReporter reporter) { Reporter = reporter; Name = reporter.DisplayName; Builder = new StringBuilder(); }
private void UpdateOutputLog(INamedProgressReporter reporter) { textBox1.Text = _reporterContexts[reporter].Builder.ToString(); ScrollToEnd(); }