Font size option

[tim-hub]

I love this launcher and started to use it as my main luncher.

• Font Size Custom
  • I personally feel currently the font is a bit small, sometimes it is easy for me to click the wrong app

:)

Just based on my personal experience. Thanks

Same here, but I feel like the font size is too big when font is changed to monospace.

[moehriegitt]

On my phone, the distance between entries is a bit larger than in the Contacts app. @tim-hub: is it smaller for you?

I am generally not keen on more style options, because Android is not really making it convenient. To understand why: such style options require defining a different style -- there is no way to patch a style for a font size globally for an app at runtime based on an option setting. This means that a new font size option with N choices makes it necessary to have N times the number of styles that there are now. For each of the existing style options (font, colour, background, etc.) we have the same, so there are 120 styles now, which is already insane. If we introduce a three way font size distinction, that'll become 360 styles. So I would really want a very, very good reason (like: it's totally unusable). Since you two have exactly the opposite impression of the font size, maybe the middle way as it is now is not so bad? :-)