how to disable the "Tools" pulldown menu

I am trying to create a customization.xml file that disables some of the features in MSketch.


I can't figure out how to disable the "Tools" pulldown menu using the View/Customize approach recommended in your documentation. Is there another way to achieve this? Is there an xml-way to achieve this: I tried

Code:

<remove path="menubar/tools-menu/"/>

but that doesn't seem to do anything. What is the appropriate way to go about this?

Dear Michiel,





to remove the Tools menu, you need to remove the contents of the marvin/xjars/plugins.properties file.





We will solve in the near future that the Tools menu customization is in synchron with the other menus.