remove the theme editor from the menu Closes #57