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

[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
display below zoom level 15.
I don't have anything in my mapcss file to specify that I want the name to
render at this zoom level.  -
https://github.com/skorasaurus/HDM-JOSM-style/blob/8b635ecdc95d58ff193aa0ece23299bcc18dc38a/HDM.mapcss

Following, the syntax described at
https://josm.openstreetmap.de/wiki/Help/Styles/MapCSSImplementation#ZoomselectorI
thought about styling it as
https://github.com/skorasaurus/HDM-JOSM-style/blob/8b635ecdc95d58ff193aa0ece23299bcc18dc38a/HDM.mapcss#L631

but received the following error in the console:
org.openstreetmap.josm.gui.mappaint.mapcss.parsergen.ParseException:
Encountered " "-" "- "" at line 631, column 11.
Was expecting one of:
    <S> ...
    ">" ...
    "<" ...
    "," ...
    "/*" ...

Is there a preferred way to style what I'm intending to do ?

Thanks,
will.