Editor Font Size

Please use “user prefs > interface > text size” selection in Editor.

Thanks for a great app!!

1 Like

Hi @wbj :wave:

Thank you for your kind words! I’m rewriting from the scratch the text editor and among other things this will be totally configurable. Expect updates around this soon! :slightly_smiling_face:

1 Like