| private InputTextBox_TextChanged ( object sender, EventArgs e ) : void | ||
| sender | object | The source of the event. |
| e | EventArgs | The event parameters. |
| return | void | |
private void InputTextBox_TextChanged(object sender, EventArgs e)
{
if (this.populatingInputBoxFromHistory)
{
this.inputTextBox.ClearStack();
}
else
{
this.commandListIndex = -1;
}
this.undoToolStripMenuItem.Enabled = this.inputTextBox.CanUndo;
this.redoToolStripMenuItem.Enabled = this.inputTextBox.CanRedo;
this.undoToolStripButton.Enabled = this.undoToolStripMenuItem.Enabled;
this.redoToolStripButton.Enabled = this.redoToolStripMenuItem.Enabled;
}