the undo/redo event, for example