private void Log(string text)
{
if (this.richTextBox1.InvokeRequired)
{
LogAppendTextCallback d = new LogAppendTextCallback(Log);
this.Invoke(d, new object[] { text });
}
else
{
Debug.WriteLine(richTextBox1.Lines.Length);
// bad user experiance with RichTextBox with over 500 lines
if (richTextBox1.Lines.Length > 500)
{
richTextBox1.Clear();
}
this.richTextBox1.AppendText(text);
this.richTextBox1.AppendText("\n");
// navigate only when ready!
if (!browseToolStripButton.Enabled && richTextBox1.Text.Contains("Time to relax."))
{
geckoBrowser.Navigate("localhost:5984/_utils");
browseToolStripButton.Enabled = true;
}
}
}
private void Log(string text)
{
if (this.richTextBox1.InvokeRequired)
{
LogAppendTextCallback d = new LogAppendTextCallback(Log);
this.Invoke(d, new object[] { text });
}
else
{
Debug.WriteLine(richTextBox1.Lines.Length);
// bad user experiance with RichTextBox with over 500 lines
if (richTextBox1.Lines.Length > 500)
richTextBox1.Clear();
this.richTextBox1.AppendText(text);
this.richTextBox1.AppendText("\n");
// navigate only when ready!
if (!browseToolStripButton.Enabled && richTextBox1.Text.Contains("Time to relax."))
{
geckoBrowser.Navigate("localhost:5984/_utils");
browseToolStripButton.Enabled = true;
}
}
}
