This is now possible since we’re now doing client-side PDF export and thus highlighted code can now be exported when using the highlight macro.
Now I’m not sure that https://highlightjs.org/ supports line numbering or the other features you mentioned above… If you know of a good highlighting javascript library that does all you mention (and that supports lots of languages, let us know).
Hi,
I think highlightjs-line-numbers will do most of it.
It is a plugin for highlightjs.
I have not tested the software yet.
The documentation looks like the requirements are met.