Editor: fix resizing that generated no-ops in the undo/redo stack.