Configurable scale factors for font and metrics

[uwerat]

The Android user settings allow to set individual scale factors for:

• font size
• display size

This feature seems to be useful for all design systems.

The implementation could be done in the skins. Whenever one of the factors changes the skin has to rebuild its metrics and/or fontsizes - similar to rebuilding the colors on colorscheme changes.