Hi a curiosity what javascript library does theia use for rendering gui?

[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 ?

https://github.com/eclipse-theia/theia/tree/master/packages/monaco ?

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