Claudius <[email protected]> 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 _______________________________________________ josm-dev mailing list [email protected] http://lists.openstreetmap.org/listinfo/josm-dev
