[josm-dev] How to update a mappaint style

[Martin Koppenhoefer]

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.

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?

cheers,
Martin


PS: The style is this one:
https://josm.openstreetmap.de/wiki/Styles/MaxspeedIcons