Re: [JPP-Devel] How to hide menu options without desactivate the plugin

2010-06-02 Thread Hernan Arellano
Hi stefan! I have proved it and it works perfect! Thanks a lot! you rule man! Hernan. _ -- ThinkGeek and WIRED'

Re: [JPP-Devel] How to hide menu options without desactivate the plugin

2010-06-02 Thread Stefan Steiniger
Hei Hernan, The basic menus can't be controlled using default-plugins.xml - as we thought they are too basic and needed by all users. However, the classes JumpConfiguration (in the com package) and OpenJUMPConfiguration (in the org package) load the menu options as plugins. You can deactivate