renaming unsuccessful

[doctorcolossus]

Sometimes I forget to enter a name for my new style, and the default "User Created Style Sheet [x]" is used. Personally, I would prefer that it forced me to enter a name, because I would never want to save any style with such a non-descriptive title -- but that's besides the point. My issue at the moment is that I'm unable to rename any styles. When I attempt to rename them, the operation seems successful, and no error messages or warnings are displayed.

There are two possible places to rename, as far as I can see: in the style manager, and in the style editor. There are three possible places to view styles' names: in the toolbar dropdown, in the manager, and in the editor.

If I rename a style in the editor, this change is not reflected in the dropdown or in the manager, but seems to persist in the editor the next time I open it.

If I rename a style in the manager, I receive a confirmation that, "this change will take effect on pressing OK." I don't see any actual 'OK' button, so I assume that means on closing. Changes made this way do not seem to persist anywhere.

The dropdown menu does not reflect attempted renames from either the editor or the manager.

[doctorcolossus]

BTW, I checked in firefox's error console, and no messages were logged. -: