public void UndoMany( Command c )
{
while( _redoBuffer.Count == 0 || _redoBuffer.Peek( ) != c )
{
Undo( ) ;
}
}
public void RedoMany( Command command )
{
while( _undoBuffer.Count == 0 || _undoBuffer.Peek( ) != command )
{
Redo( ) ;
}
}