May
12th
Sat
12th
Larger fonts?
I am thinking of using a larger font in the text boxes. This should make it easier to use. I’ll try it out with user settable font sizes in the next release.