#18095 closed enhancement (fixed)
provide a way to easily change mappaint font size
Reported by: | richlv | Owned by: | team |
---|---|---|---|
Priority: | normal | Milestone: | 20.01 |
Component: | Core mappaint | Version: | tested |
Keywords: | font size settings | Cc: |
Description
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.
Attachments (0)
Change History (8)
comment:1 Changed 20 months ago by
comment:2 follow-up: 3 Changed 20 months ago by
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?
comment:3 Changed 20 months ago by
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.
comment:4 Changed 20 months ago by
Don't we have preferences in MapCSS? Couldn't the font size be one value?
comment:6 Changed 20 months ago by
Component: | Core → Core mappaint |
---|---|
Keywords: | font size settings added |
comment:8 Changed 15 months ago by
Milestone: | → 20.01 |
---|
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"); }
Replying to richlv:
What are "all the steps"? Activating an additional style is 1, max. 2 clicks away.