This article series describes how to get started with the Eclipse Theia IDE. In this article, we focus on how to add new features to Theia by adding extensions and/or plugins. Please see this article for a comparison of Eclipse Theia extensions and Theia plugins and here for a quick introduction of Theia. In pure Theia, there are four ways of adding new functionality, which...
Read MoreIn this article, we compare Eclipse Theia plugins with Theia extensions, with Che-Theia plugins and with VS Code extensions/plugins. In case you are wondering what Eclipse Theia is, please head over to our introduction to Theia. In previous articles, we have described options on how to launch Theia and how to use its basic features, in this article, we will focus on how to add...
Read MoreThis article provides an overview on how you get started with Eclipse Theia and how to use it as an IDE. In case you wonder what Eclipse Theia is, please see here for an introduction and the frequently asked questions about Eclipse Theia. After we have described several options on how to launch Theia in the previous article, in this article we continue with the...
Read MoreLast week, Eclipse 2019-09 has been released, a new version of the Eclipse IDE and platform. As 2019-06, the new release contains a lot of useful improvements and increases agin performance. Holger Voormann provides once more great videos summarizing the improvements in the Java IDE, the platform and in EGit, which we are happy to share (please see below)As always, in case you use our...
Read MoreIn this article we provide an overview on how to get started with Eclipse Theia. More precisely, we will describe how to easily install and launch your own instance. In case you wonder what Eclipse Theia is, please see here for an introduction and this FAQ about Eclipse Theia. In this article, we answer a very simple question:How to install/launch/run Eclipse Theia to use it...
Read More