Hi JM
Thank’s very musch for the custom version; but it wasn’t a big problem for me and not for my actually customer but I know some customers who want all the roles except the delete. And, as with the extension “User role editor” the theme option was show actived in editor user role (or author role) , that can made think to a bug. I undestand perfectly your reasons.
I’ve just tested your new version, and it’s not work with user role editor or author (where normally, theme option must be possible).We can see the menu “Theme options” but when we click inside, there is a windwos who say”You have not the good role (les droits suffisants) to modify theme options.
Sorry
Best regards