Hacker News new | ask | show | jobs
by anton_kosyakov 2270 days ago
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