[statictype]

I've heard of Codemirror but went and took a look again after reading this comment - I was surprised to see that Brackets, Lighttable and the Chrome DevTools source editor are built on top of it.