@jgold Does it work for you as expected?
[UI] Fonts in Settings menu too big
-
The font sizes in the settings menus are quite high compared to other Material-designed Android apps. This feels somehow unnatural and not native.
-
@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.
-
@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?
-
@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.
-
Switch from preference-v7 to preference-v14.
0_1465454070577_material-settings.patchScreenshots before and after the patch taken on Ice Cream Sandwich:
-
Thanks for the patch! I’ll try it out and then merge it if there are no problems.
-
It’s now in 210735a50068d484fa053c41e359f9ad0da37603 – thanks.