Replies (3)

You just remembered me to point out this: the "large text" option just applies a normal text, really. Compare it with the basic font size used by the OS, for example in the setting. "Large text" should be the default; smaller / larger options would be a nice addition.
โ†‘