ptspts 21 hours ago

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

  • fph 19 hours ago

    I suppose this gets useful in applications where you can change the font, but not add syntax highlighting. Besides being a neat trick, of course.

  • colechristensen 19 hours ago

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

    Then it's not for you. This comment does not add anything to the conversation and comments like these are better left unwritten.