[dsego]

I think the editor uses the same underlying technology that Chrome uses to display web pages. That's a lot of overhead for a text editor, but it makes it really easy to extend and do crazy things, basically anything that is possible in a browser. I honestly don't know what would make it faster.