Viewing profile — anton_kosyakov

Sure, you don't develop something on the side for an existing IDE which treats your content as remote and potentially insecure, prohibiting access to DOM and other useful APIs like…

VS Code has a clear scope to be smart light-weight editor. It fits to mainstream needs indeed, but not for firms trying to build domain specific IDEs. Theia does not have problems …

Please see https://github.com/eclipse-theia/theia/issues/7349#issuecomm... You can try Theia via Gitpod: https://dev.to/svenefftinge/continuous-dev-environments-the-... For instanc…

Theia does not target end users. It is IDE platform for product builders. Think if you want to build domain specific IDE which inherits VS Code UX. See who is using Theia and why h…

Sorry, to hear it. Theia is an IDE platform and does not target end users but product builders. For end users, we build Gitpod based on Theia to support continious dev environments…

Yeah, it came to surprise to us too. We are going to merge PhosphorJS into Theia repo and make it more configurable: https://github.com/eclipse-theia/theia/issues/6501

If you have your projects on GitHub then you can use Gitpod (www.gitpod.io) It allows to define dev environment in code, and then spawn remote env in Google Cloud with access via t…

Also a license does not look permissive: https://code.visualstudio.com/docs/remote/faq#_can-i-repacka... I don't see how someone else can leverage VS Code remote extensions to buil…

You should check out Gitpod ( https://www.gitpod.io ). It was launched recently and provides disposable, ready-to-code development environments for GitHub projects: https://dev.to/…

Theia is an IDE framework implemented with cloud first mindset, not a code patch to make VS Code to run in cloud. It does reuse important VS Code components, like Monaco editor, la…

Yes, it is an independent project used by different products like Gitpod (www.gitpod.io), Google Cloud Shell, ARM Mbed Studio ( https://os.mbed.com/studio/ ) and so on. Eclipse Che…

Are you aware of Gitpod ( https://www.gitpod.io/ )? It's one-click online IDE for GitHub based on Theia. You can have as many workspaces as you want which are continuously replicat…

Theia relies only on stable and documented APIs for compatibility which are not move fast and don't get removed, not on patching and exposing of VS Code internals.

Theia is an independent IDE framework. It used by products like Gitpod ( http://www.gitpod.io ), Google Cloud Shell, ARM Mbed Studio ( https://os.mbed.com/studio/?utm_source=blog )…

Which language are you looking for? There are more images: https://github.com/theia-ide/theia-apps and you can build custom with own set of Theia/VS Code extensions.