/// <summary>
/// Event handler for the redo button click
/// Performs the redo action for an add or delete command
/// </summary>
/// <param name="sender"></param>
/// <param name="e"></param>
private void redoBtn_Click(object sender, EventArgs e)
{
invoker.redo();
recordListView.Items.Clear();
populateList(controller.getRecordList().getList());
controller.readRecordListToFile();
if (invoker.checkUndoStack() == false)
{
undoBtn.Enabled = false;
}
else
{
undoBtn.Enabled = true;
}
if (invoker.checkRedoStack() == false)
{
redoBtn.Enabled = false;
}
else
{
redoBtn.Enabled = true;
}
SetCollectionInfo();
}
public void checkRedo()
{
r.redo();
Assert.IsNotNull(list.getList());
}