4 ms·Looks like they're using Ace underneath too. (http://ace.ajax.org/ http://ace.ajax.org/)by rafd 15y agoLooks like they're using Ace underneath too. (http://ace.ajax.org/ http://ace.ajax.org/)