Comment by ptspts

As a text editor user, I prefer selecting the font and the syntax highlighting independently. This font is not useful for me.