[josm-dev] Outdated version of style used in JOSM although style is updated

[Dirk Stöcker]

On Tue, 29 Jan 2013, Martin Vonwald wrote:

> I was a little irritated that in the map paint style preferences the
> current version number is displayed (as tooltip in the available
> styles table) but in fact an old version is used. Maybe it would be a
> good idea to also display the version number as a tool tip for the
> installed styles? And how about removing the cached version when one
> removes a style?

Feel free to send patches :-) Actually the update procedure of cached 
data could be improved in many places. If somebody has time to do so ...

Ciao
-- 
http://www.dstoecker.eu/ (PGP key available)