[josm-dev] Tools menu too long when plugins installed

[Sebastian Klein]

Hi,

it has been reported, that with many plugins installed, the tools menu 
grows such that some entries become invisible on a normal monitor.

(See http://josm.openstreetmap.de/ticket/5638 for an example.)

Any ideas how to fix this?

We could move the simpler tools to a new top level menu, but how to call 
it? Or we could force the plugins into another menu, but i guess that 
would only delay the problem...


Sebastian