Re: [josm-dev] How to override default styling of name=* within josm

2013-07-28 Thread Paul Hartmann
On 07/27/2013 10:41 PM, william skora wrote: I'm wondering where are the default style settings stored for josm. Using all of the map paint styles filter on the right-hand side of the screen, I've turned off all of my map styling, including josm's internal style. I ask because I'm trying to

[josm-dev] How to override default styling of name=* within josm

2013-07-27 Thread william skora
I'm wondering where are the default style settings stored for josm. Using all of the map paint styles filter on the right-hand side of the screen, I've turned off all of my map styling, including josm's internal style. I ask because I'm trying to style so that name=* tag on a node does not

Re: [josm-dev] How to override default styling of name=* within josm

2013-07-27 Thread Pierre Béland
-halo-radius: 1;     text-wrap-width: 20; }   Pierre De : william skora skorasau...@gmail.com À : josm-dev@openstreetmap.org Envoyé le : Samedi 27 juillet 2013 16h41 Objet : [josm-dev] How to override default styling of name=* within josm I'm wondering