public void Redo ()
{
if (redoStack.Count <= 0)
return;
isInUndo = true;
UndoOperation operation = redoStack.Pop ();
undoStack.Push (operation);
operation.Redo (this);
isInUndo = false;
OnRedone (new UndoOperationEventArgs (operation));
}