So is what I’m trying to do (to undo a deleted decoration) not possible with the history plugin at all?
Another path i just though of is to keep my own separate history for decorations and chain the undo/redo commands… not sure whether you’d recommend this