2012/2/17 Pieren <pier...@gmail.com>: > On Fri, Feb 17, 2012 at 1:50 PM, Paul Hartmann <phaau...@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 _______________________________________________ josm-dev mailing list josm-dev@openstreetmap.org http://lists.openstreetmap.org/listinfo/josm-dev
