private void redoToolStripMenuItem_Click(object sender, EventArgs e) { // tbRun has no builtin redo function; fileManager.SelectedTabTextBox.Redo(); }