document_view.cc: resizing graphics generates undo/redo operation