Fixed a bug where undo/redo was not redrawing when animations were turned off.