private void Redo(RichTextBox control)
 {
     control.Redo();
 }