[original thread by publicocean0]
I would say Phosphorjs but I’m only 20% sure ^^; sorry http://phosphorjs.github.io/
yes, but it was deprecated and we going to merge relevant bits and refactor to allow customizatiosn
so now you have two editors ?
no, one is API for editor widget and manager, another monaco integration layer
we hook into some internals and don’t want to expose them to rest of extensions