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
davydm•14h ago
because, y'know, there's not enough of them