Hacker News new | ask | show | jobs
by benatkin 2269 days ago
On 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
1 comments

Yeah, 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