Closed david-alvarez-rosa closed 6 months ago
I'm recently working with PDDL programming language -- could we get support for fancy syntax highlighting?
Found a gist online for listings env https://gist.github.com/morxa/9162dfc62261294621fd that could potentially be migrated.
listings
Open to help here!
The syntax highlighting is actually provided by python package pygments https://github.com/pygments/pygments. You can file a feature request there.
pygments
That makes sense. Will do, thanks!
https://github.com/pygments/pygments/issues/2616
I'm recently working with PDDL programming language -- could we get support for fancy syntax highlighting?
Found a gist online for
listings
env https://gist.github.com/morxa/9162dfc62261294621fd that could potentially be migrated.Open to help here!