Philip Langer
Philip Langer
Maybe this one is an easy fix for the next release in order to enable SSH remote development support? https://github.com/eclipse-theia/theia/issues/13294
@tsmaeder Yeah, no need for changes immediately, we just need to make sure we also release the native dependencies and upload it to the release. I was just wondering whether...
> That does not sound like something for a patch release. Also, I am not aware that we need to do anything for the patch release regarding native dependencies, etc....
I've added https://github.com/eclipse-theia/theia/issues/13308 to track the automation of this step. @tsmaeder The 1.45.1 release should be fine, because it already contains the native dependency artifacts (probably @msujew added them manually).
@msujew Thank you for your feedback and clarifying the question about the message! >> For Theia, I assume, we would then need to expose collaboration and connection events for other...
@msujew Hi again, I've now been looking into reproducing this issue and for me it really seems very easy to reproduce. I've recorded a video for reproducing this with a...
> The test `../../src/tests/theia-main-menu.test.ts:95:9 › Theia Main Menu › open about dialog using menu` is failing in GH actions, but works fine locally. Is it flaky? Not that I'm aware...
Apologies for the delayed reply. I'm a bit torn on this issue. On one hand, given that a debug adapter serves as a backend service usually out of sight for...
https://github.com/eclipse-theia/theia/issues/12371 may be potentially related?
This issue got stale and it doesn't seem critical.