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

Claudius claudius.h at gmx.de
Wed Mar 10 17:30:49 GMT 2010


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

Claudius





More information about the josm-dev mailing list