public void Redo1()
 {
     TextArea.Redo();
     addRecentCommand(REDO);
 }