wiki icon indicating copy to clipboard operation
wiki copied to clipboard

Add highlight.js

Open Drogglbecher opened this issue 8 years ago • 1 comments

For meaningful highlighting we want to use highlight.js. For this it would be good when we update the version via build.rs while building the application. ;)

Drogglbecher avatar May 18 '17 18:05 Drogglbecher

One could also think about using npm here and do 'npm update highlight.js' while build process. So it would be easier to integrate and to stay up to date, on the other hand we would have an additional dependency here.

Drogglbecher avatar May 21 '17 15:05 Drogglbecher