I have been testing the theme editor by following this article, and one thing I noticed is once you set the
userMenu in in the
editorTheme section you can't explicit set true. By taking a look into the code, it seems that Node-RED editor only cares if the property exists. I already updated the code to take into consideration the actual value of the property. Can I go ahead and create a pull request?