private void OnThumbnailUpdated(DocumentWorkspace dw)
{
// We must double check that the DW is still around, because there's a chance
// that the DW was been removed while the thumbnail was being rendered.
if (this.dw2button.ContainsKey(dw))
{
ImageStrip.Item docButton = this.dw2button[dw];
RenderArgs docRA = this.thumbs[dw];
docButton.Image = docRA.Bitmap;
docButton.Update();
}
}
