It would be nice to undo items in the Common Styles submenu; I often
hit the keyboard shortcuts by mistake.
Perhaps this suggests some undo verbs that any script could call, sort
of like op.getCursor / op.setCursor can mark and restore a cursor
position. Maybe setUndo would take a label and the adr of a callback
script?