Interesting that they're using Codemirror instead of Ace (http://ace.c9.io), which is their progeny.
It used to be called Bespin: http://blog.mozilla.org/labs/2009/02/introducing-bespin/
It used to be called Bespin: http://blog.mozilla.org/labs/2009/02/introducing-bespin/
https://bugzilla.mozilla.org/show_bug.cgi?id=816756
I would be curious to know if Mozilla is still actively involved with Ace development at this point?