Hi, apparently no one cares about this.
So I checked it in but set the default value to 9. The current behavior is *not* changed. (Just setting the value to 0 in my local copy is not an option because it might get checked in accidentally. :) ) __ Basti _______________________________________________ josm-dev mailing list [email protected] http://lists.openstreetmap.org/listinfo/josm-dev
