I still use vscodium because there are some features that it has not in the Theia IDE (namely inserting links and images in markdown through drag and drop *)
I like the idea of Theia as a platform. Maybe it would be worth it for me to make a Theia based IDE and implement the drag and drop markdown links feature myself? I am worried about the lack of use of the platform by projects though.
Edit: Actually, it does seem to be used by other projects though not very well known ones. So it might not be that bad of an idea to use as the bases for mine.
Edit 2: Then again some language servers and debug adapters don't work fully with Theia **.
* https://code.visualstudio.com/Docs/languages/markdown#_inser...
** https://discourse.julialang.org/t/compatibility-between-thei... ** https://github.com/eclipse-theia/theia/issues/8472
yay, another vscode with ai integration
because, y'know, there's not enough of them