Increase font size for the editor

[prachishriv]

I love this editor but font size is too small. How to change the font size??

[dodikk]

I'd like to have this feature too. Hopefully, the developers will consider implementing this feature soon.

@prachishriv , does editing the issue name to add a [wish] or [new feature] prefix make sense to you? I guess, that could help getting more attention and up-votes.

[saintfirewater]

#79 mentioned this and it was developed in Oct 2016, but not public. I don't know why.