A font with built-in TeX syntax highlighting

44 pointsposted a month ago
by LorenDB

7 Comments

user

a month ago

[deleted]

ptspts

a month ago

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

colechristensen

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

fph

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