Hi,
the editor is able to see the theme options if I deactivate the plugin “Editor Menu and Widget Access”. If I open “Design / Editor Access” the checkbox Design is visible but inactive. I can’t activate it. The Theme Options have a checkbox I can activate but it has no effect because they won’t be shown.
You can see this in the screenshot: https://prnt.sc/ke4vyw