// timer called to refresh the screen after scrolling stops
void InvalidateTimer(object obj)
{
textArea.Invoke(new MethodInvoker(delegate { textArea.Invalidate(); }));
lock (this)
{
scrollTimer.Dispose();
scrollTimer = null;
}
}
