are you really using Pygments for highlighting?
Closed this issue · 2 comments
yihui commented
what I see in the source code is CodeRay
instead of Pygments
as documented... the latter seems to support much more languages; I was struggling with one language (R) listed in the support list of Pygments, but it could not be highlighted with keydown.
infews commented
The short answer is yes, I moved from Pygments to CodeRay to ease development/installation. The longer answer is that I'm in the process of moving to using deck.js, which uses codemirror.js to do highlighting. When I release 1.0 the docs will reflect all of this.
yihui commented
Cool! Looking forward to the update with deck.js!
Thanks!