2012/2/17 Pieren <[email protected]>: > On Fri, Feb 17, 2012 at 1:50 PM, Paul Hartmann <[email protected]> > 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 [email protected] http://lists.openstreetmap.org/listinfo/josm-dev
