This is a tricky feature request, I am not completely sure but I think any user account with administrative privileges could be able to change any option set by other user so adding a new option may not work. Also, if the main admin user forgets to disable the “Plugin & Theme Editor” another user with access to that tool may edit the plugin to remove the restriction.
I do not think there is a way to implement this with 100% accuracy, may be easier to change the role of the other admin users to give them less privileges over the whole interface. I will see if I can find something in the wild.