public void Redo()
{
if (_undoIndex == _momentos.Count - 1)
{
return;
}
_undoIndex++;
_editorCtrl.Restore(_momentos[_undoIndex]);
_editorCtrl.Print();
}
public void Test1()
{
EditorCtrl editorCtrl = new EditorCtrl();
NotepadApp notepadApp = new NotepadApp(editorCtrl);
editorCtrl.Append("ala");
editorCtrl.Append(" ma");
editorCtrl.Append(" kota");
notepadApp.Save();
editorCtrl.Append(", psa");
editorCtrl.Append(" i cztery asy");
notepadApp.Save();
editorCtrl.Append(" blee");
editorCtrl.Print();
notepadApp.Undo();
notepadApp.Undo();
notepadApp.Redo();
}