Re: [josm-dev] Mouse symbols not visible

[Martin Koppenhoefer]

sorry for the noise, maybe some kind of hickup. They now reappeared without
me doing anything but continue to use JOSM...
_______________________________________________
josm-dev mailing list
josm-dev@openstreetmap.org
https://lists.openstreetmap.org/listinfo/josm-dev