- From: Nicholas Bollweg <nick.bollweg@gmail.com>
- Date: Thu, 9 Oct 2014 18:07:33 -0400
- To: public-linked-json@w3.org
Received on Thursday, 9 October 2014 22:08:01 UTC
A PR I put in a while ago finally got merged into pygments mainline: https://bitbucket.org/birkenfeld/pygments-main/commits/d93e0c28a22a4a5980990f33b389f134fb6df1d2 (manual merge, as it was getting really behind, and I'm really bad at mercurial) Not sure when the release will be cut, but that's codemirror and pygments, which is a pretty good start for browser-based tooling, i.e. IPython notebook, playground, etc. Looking forward to more tools being able to use it! cheers, Nick
Received on Thursday, 9 October 2014 22:08:01 UTC