[UI] Fonts in Settings menu too big

[art1fa]

The font sizes in the settings menus are quite high compared to other Material-designed Android apps. This feels somehow unnatural and not native.

[rfc2822]

@art1fa Do you know how to change this font size? As far as I remember, I have played around a long time trying to assign the correct styles, and then gave up enervatedly.

[biociahi]

@rfc2822, you should use preference-v14 instead of preference-v7. Google has closed bug 183376, but preference-v7 is still missing Material styles (see e.g. bug 183376). Since DAVdroid’s minSDK is 14, switching to preference-v14 is easy.

I could fix this, but you’ve disabled merge requests. Contributions aren’t welcome, I guess?

[rfc2822]

@biociahi said in [UI] Fonts in Settings menu too big:

I could fix this, but you’ve disabled merge requests. Contributions aren’t welcome, I guess?

Of course they’re welcome. Because we’re using git, it’s possible to just post/send a patch.

[biociahi]

Switch from preference-v7 to preference-v14.
0_1465454070577_material-settings.patch

Screenshots before and after the patch taken on Ice Cream Sandwich:

[rfc2822]

Thanks for the patch! I’ll try it out and then merge it if there are no problems.

[rfc2822]

It’s now in 210735a50068d484fa053c41e359f9ad0da37603 – thanks.