Never mind, that's implementing the obvious fact you don't want redos to be around after adding a new undo. Posting aaand deleting comment.