Is there a setting currently that lets you change the font while editing to something else besides Courier New? Thanks!
Thank you for the suggestion.
Yeah font customization would be a necessary feature. I’ll plan to add it.
From v2.3.0, it supports changing editor font.
Thanks again for the suggestion!