Without affecting the rest of microthemer, thanks!
Hey,
Unfortunately, there isn’t an option for increasing the font-size of the editor, separately from the browser zoom – but I’m happy to add that feature. I’ll aim to have it done by the end of next week.
Cheers, Sebastian
You must login or register to reply to this topic.
