3 ms·
On https://theia-ide.org/ https://theia-ide.org/ it says the shell is based on PhosphorJS. When I follow the link to the repo, it says it's archived. Have they
by benatkin 7y ago
On https://theia-ide.org/ https://theia-ide.org/ it says the shell is based on PhosphorJS. When I follow the link to the repo, it says it's archived. Have they vendored it yet? https://github.com/phosphorjs/phosphor https://github.com/phosphorjs/phosphor
- anton_kosyakov 7y agoYeah, it came to surprise to us too. We are going to merge PhosphorJS into Theia repo and make it more configurable: https://github.com/eclipse-theia/theia/issues/6501 https://github.com/eclipse-theia/theia/issues/6501