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

2010-11-27 Thread 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,

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

2010-11-27 Thread Frederik Ramm
Hi, Sebastian Klein wrote: it has been reported, that with many plugins installed, the tools menu grows such that some entries become invisible on a normal monitor. Maybe force plugins into a Plugins menu, where each can have exactly one sub-menu where it arranges its options? We could then

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

2010-11-27 Thread André Riedel
2010/11/27 Frederik Ramm frede...@remote.org: Sebastian Klein wrote: it has been reported, that with many plugins installed, the tools menu grows such that some entries become invisible on a normal monitor. Maybe force plugins into a Plugins menu, where each can have exactly one sub-menu

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

2010-11-27 Thread Ulf Lamping
Am 27.11.2010 12:55, schrieb Frederik Ramm: Hi, Sebastian Klein wrote: it has been reported, that with many plugins installed, the tools menu grows such that some entries become invisible on a normal monitor. Maybe force plugins into a Plugins menu, where each can have exactly one sub-menu

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

2010-11-27 Thread Frederik Ramm
Hi, Ulf Lamping wrote: This is quite common with other software that uses plugins. You want something like the two filter menus in the Gimp, which is in fact just bad UI design. I was thinking about the Tools menu in Firefox where each Add-on you install gets an entry. It creates a

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

2010-11-27 Thread Dirk Stöcker
On Sat, 27 Nov 2010, Frederik Ramm wrote: It creates a mess to find a function in the menu you want to use. I agree that with the current JOSM plugin landscape, where we have lots of one-trick pony plugins, this might seem strange. But I'd love to see some consolidation in the plugins so

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

2010-11-27 Thread Matthias Julius
Ulf Lamping ulf.lamp...@googlemail.com writes: Am 27.11.2010 18:04, schrieb Frederik Ramm: Sure, every solution has it's drawbacks. But what's the users interest? To know which menu item is caused by which plugin, or to intuitively find a functionality where a user expects it. If you have