I'd love to switch mappaint.useRealWidth true/false via the toolbar. Do I need to write a plugin to do so?
Claudius _______________________________________________ josm-dev mailing list [email protected] http://lists.openstreetmap.org/listinfo/josm-dev
