decoration.font parameter does not respond to font size

[mrfoggg]

decoration.font Sets the font to use for the title bars, via a Pango font description string (e.g. Gentium Plus 12). The default is sans-serif.

but for example I try font = FreeSerif 32 and font = FreeSerif 8. The displayed font size does not change.

contrasting white text that fills the title to the edges spoils the appearance. And if you reduce the height of the title, the window control buttons become too small. It is better to set the text size, button size, paddings, and let the total height of the title be calculated automatically. Paddings are needed because the stuck text looks very bad.

[ammen99]

For reference, the font size is hardcoded here: https://github.com/WayfireWM/wayfire/blob/12ba3460bfecb01cc5693ebbc36e3f7e70eca283/plugins/decor/deco-theme.cpp#L73

I suppose that we could try to figure out whether the font size has been set explicitly in the config file (https://docs.gtk.org/Pango/method.FontDescription.get_size.html and/or https://docs.gtk.org/Pango/method.FontDescription.get_set_fields.html). If it is set explicitly, we shouldn't override it. If anyone cares about this, PRs welcome.