private void redoEditMenu_Click(object sender, EventArgs e)
 {
     textBox.SetText(editOperations.CallRedo());
     UpdateFormTitle();
 }