3 ms·
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/issu
by anton_kosyakov 6y 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 https://github.com/eclipse-theia/theia/issues/6501