Add GUI option to adjust font size

[lispstudent]

Hello,

I know the font size can be adjusted via this tip.

Would you please consider also adding a GUI option to adjust font size?

Many thanks for the wonderful tool.