Renaming a style
Say the user renames the style //tint1// to //gloomy// in the Admin.
The option for //tint1// will of of course no longer be available in the editor, but it will all the same remain applied to the code that is being served up.
It lives on until the WYMeditor plugin has been saved again.
Could the system, when a class name is changed, scoot through all the pages and apply the change appropriately.