[josm-dev] Does presets automatically update?

2012-02-04 Thread Morten Olsen lysgaard

I've got a preset.
Yesterday I updated it and uploaded it to my server.
I took it from version 0.0.1 to 0.0.2
On the JOSM projects preset page the new version number was shown 
minutes later, indicating that the JOSM page had read my changes.


Still, to get JOSM to download the new preset, I had to delete the 
~/.josm folder because it had old copies of my preset.


Should JOSM automatically see new versions of a preset and download 
them? If not, how does one best update a preset that many people use. 
Does each user have to manually do something?


___
josm-dev mailing list
josm-dev@openstreetmap.org
http://lists.openstreetmap.org/listinfo/josm-dev


Re: [josm-dev] Does presets automatically update?

2012-02-04 Thread Paul Hartmann
On 02/04/2012 10:41 AM, Morten Olsen lysgaard wrote:
 I've got a preset.
 Yesterday I updated it and uploaded it to my server.
 I took it from version 0.0.1 to 0.0.2
 On the JOSM projects preset page the new version number was shown
 minutes later, indicating that the JOSM page had read my changes.
 
 Still, to get JOSM to download the new preset, I had to delete the
 ~/.josm folder because it had old copies of my preset.
 
 Should JOSM automatically see new versions of a preset and download
 them? If not, how does one best update a preset that many people use.
 Does each user have to manually do something?

Presets and styles are cached for 7 days. After this time, everyone
should be using your new version.

Currently there is no way to push an update earlier, do you think this
is necessary?

Btw., we have a cache folder now (~/.josm/cache). To get rid of old or
potentially broken cache, it suffices to delete this folder.

@team: We cannot update imagery entries at the moment. For example, the
new menu icons aren't loaded for existing installations. Probably there
will be more serious issues in the future.
The most obvious fix would be, to add a permanent id for each entry.

On a related note, the shape entries make the Maps page hard to read
and edit. Should we move this data to an extra file? An additional
advantage would be, that one shape could be referenced by multiple entries.

Paul

___
josm-dev mailing list
josm-dev@openstreetmap.org
http://lists.openstreetmap.org/listinfo/josm-dev