[josm-dev] New Usertools plugin for JOSM

Dave Hansen dave at sr71.net
Tue Jan 8 04:00:56 GMT 2008


On Tue, 2008-01-08 at 02:27 +0100, Frederik Ramm wrote:
> 
> Selects map data that belongs to a selected user. 

Shouldn't we just do this in the plain search box?  I have patches for
this, btw. ;)

-- Dave





More information about the josm-dev mailing list