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
_______________________________________________
josm-dev mailing list
[email protected]
http://lists.openstreetmap.org/listinfo/josm-dev
