provide a way to easily change mappaint font size

[richlv]

As explained in #11752, the mappaint.fontsize setting mostly does not work.
While there's a workaround provided, it is fairly cumbersome for a temporary change. Fairly frequently I want to change the font size for short while only (for example, when demonstrating JOSM usage or creating screenshots).

It would be great if there was some easy way to override the font size without all the steps, involving styles.

[Klumbumbus]

Replying to richlv:

all the steps, involving styles.

What are "all the steps"? Activating an additional style is 1, max. 2 clicks away.

[richlv]

That's true, but changing the font size also involves editing the mapcss file.
While not terribly bad, it's still a bit cumbersome.

Would a property that overrides styles be possible?

[Klumbumbus]

Replying to richlv:

That's true, but changing the font size also involves editing the mapcss file.

You can use several styles, e.g. L, XL and XXL, and in every situation you activate the one you need. That requires mapcss editing only once.

[stoecker]

Don't we have preferences in MapCSS? Couldn't the font size be one value?

[Klumbumbus]

That would require point two of #10435.

[simon04]

In 15731/josm:

see #10435, fix #18095 - MapCSS: add settings of type string/double

[simon04]

setting::place_font_size {
  type: double;
  label: tr("Set place name font size...");
  default: 11;
}

+node.place, way.place, area.place {
  font-size: setting("place_font_size");
}