Theia on

Hello, Is there any difference between the theia editor on and the Theia that is available

Are the features and packages exposed there on ( git, debug, terminal, search, call hierarchy, outlinee ) all these same basic packages within the theia github repo?

I’m just trying to get a sense if there were customizations, improvements, modifications to Theia to create that nice experience. I’m thinking about using theia for a web-ide project and wondered if is an example of what I would expect of Theia out-of-the-box. ( I’m sure there’s a ton of work on the infrastructure, etc, of course )

[original thread by dehru]

Hi, most of it is standard Theia. The code review stuff (inline comments), the cli and some other things have been added.


Thanks Sven!