Hei Michael,
i try to keep the number of menus small, but your suggestion sounds good
to me! I even would like to move then the "opions..." from edit to this
new menu.
with respect to double existing classes:
- i am not sure why the jump.properties file exists two times (i thought
to avoid err
Hi all,
I integrated Larry's BeanTools PlugIn in OJ and made some other changes
I had to move some menu items, and as it is a very visible thing and
personal choice, I'd like some feedback before committing.
Most visible change is the addition of a "customize" menu including
- the plugin manager
