How to know which style was deleted?

If StyleDeleteChange.style is always null, how can I get the name of the style that was deleted so I can fully respond to the event? Or do I have to keep a duplicate list of all the current styles and check against it on STYLE_DELETE to see which is missing?

Unfortunately, only to compare. documentChange returns a style id by which you can compare with the list of styles you saved earlier.