Properly refresh viewers in undo()