[josm-dev] Shortcuts

[Martin Koppenhoefer]

2012/2/17 Pieren <pieren3 at gmail.com>:
> On Fri, Feb 17, 2012 at 1:50 PM, Paul Hartmann <phaaurlt at googlemail.com> wrote:
>
>> If we reserve a small pool, this won't be enough, so who decides which
>> plugin is more important?
>
> That's the idea. It can be enough because nobody installs all plugins
> but only a few of them.


But all mappers would then use different shortcuts, because of
different plugin combinations they use. This makes tutorials and other
documentation difficult.

cheers,
Martin