marijnh/CodeMirror — pull request #1625 by sathyamoorthi (2013-06-20 14:16:40+00:00)
Title: HTML tag highlight add on built on top of xml-fold

This can't be merged as it is now. We have to discuss and change some of the code.