[ptspts]

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

[colechristensen]

>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.

[fph]

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.