Hi folks, I have filed https://github.com/theia-ide/theia/issues/4355 and since it’s an architectural issue, I’d like to hear feedback on it.
Note that I’ll be on vacation next week, not ignoring you 
[original thread by Thomas Mäder]
Hi folks, I have filed https://github.com/theia-ide/theia/issues/4355 and since it’s an architectural issue, I’d like to hear feedback on it.
Note that I’ll be on vacation next week, not ignoring you
[original thread by Thomas Mäder]