| There is not much to see on a server that is down, so let me share some free advice instead. Visit Eclipse Theia in the mean time when you are serious about de-risking from VSCode. I think VSCodium is doing an uphill battle here, while Microsoft can't help them self being a sales company first. In Theia, everything is open and free of spyware. MS is under no obligation to provide an OSS editor, but playing tricks after luring people in is not nice. EDIT: 1. Eclipse Theia is a different platform than Eclipse the Java IDE. 2. link: https://theia-ide.org/#theiaidedownload |
* On each start, Ada & SPARK extension pops up a dialog that I have to close by clicking 12 times (I counted it) on its "Cancel" button.
* I can't permanently remove items from the left sidebar. It looks like Theia is unable to persist some things between runs.
* The IDE notifies me about bad tasks.json config and proposes to open it to fix, but the "Open" button doesn't do anything.
* Open VSX extensions do not update automatically. [1] I have to manually switch their versions to the newer ones.
* Just now I've manually updated Ada & SPARK extension. Not only was I presented with several options with exactly the same version (perhaps each was meant for different CPU arch or operating system?), but after choosing the first one and reloading editor as the IDE asked me to, the extension disappeared completely.
None of these happen with VSCodium, or with VS Code of course.
[1] https://github.com/eclipse-theia/theia/issues/9295