push while redo