On Sat, 30 Mar 2013, Martin Koppenhoefer wrote:
Three days ago I updated a mappaint style in the wiki (speed limit signs),
and shortly after I saw this updated revision in the mouse-overlay in
prefs/available styles (date and revision number). But the actual style in
use still seems to be the old one. I have tried to uninstall the style,
restart and reload it, but still it remains the old style in use. Also I
didn't find the style cached on disk (in .josm where some other stuff is
cached) so I don't know where I would have to delete stuff.
In josm dir cache/mirror_...
I don't see the actual version of the in-use style in the josm prefs (there
is no overlay on the right side of the table, where the active styles are
listed) but it behaves like the old style, so I am quite sure it is still
the old style that is used.
What can I do? Have I done something wrong the way I updated the style? Do
I have to trigger some action manually?
There are two way ATM. Delete the mirror file or remove the mirror entry
in prefs. Both should cause a reload of the file.
Otherwise wait approx. 2 weeks :-)
Is not optimal, but usually only the style authors themselves notice this
problem.
Ciao
--
http://www.dstoecker.eu/ (PGP key available)
_______________________________________________
josm-dev mailing list
josm-dev@openstreetmap.org
http://lists.openstreetmap.org/listinfo/josm-dev
