[josm-dev] A simple way to switch advanced settings?

Matthias Julius lists at julius-net.net
Wed Mar 10 18:48:26 GMT 2010


Claudius <claudius.h at gmx.de> writes:

> I'd love to switch mappaint.useRealWidth true/false via the toolbar. Do 
> I need to write a plugin to do so?

A patch might do, too.  I don't think it is necessary to write plugins
for trivial things like this.

Matthias




More information about the josm-dev mailing list