[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