Add a text size setting to the editor for more comfort while writing

It is useful to be able to resize the text in the editor, because on different monitors and with different eyesight, the standard size may not be too comfortable.

For example, on my retina monitor it is too small.