On Fri, 14 May 2010, Sebastian Klein wrote: > Most notably: It clears the .josm/preference file but doesn't seem to > write anything in there, except version and geometry.
That's a bug. It should not access .josm/preference at all. There are (on the server not yet implemented) server side preferences for this. There must be a problem, that preferences are accessed before they know they are server-side. Ciao -- http://www.dstoecker.eu/ (PGP key available) _______________________________________________ josm-dev mailing list [email protected] http://lists.openstreetmap.org/listinfo/josm-dev
