- Configure Your Project
- .gitpod.yml
- Docker Configuration
- Start Tasks
- VS Code Extensions
- Exposing Ports
- Prebuilt Workspaces
- Environment Variables
- Workspace Location
- Editor Configuration
- Gitpod Self-Hosted
- Install on Google Cloud Platform
- Install on Amazon Web Services
- Install on self-managed Kubernetes
- Configure OAuth
- Configure a Domain
- Configure HTTPS Certificates
- Configure a Database
- Configure a Docker Registry
- Configure Storage
- Configure Nodes
- Configure Workspaces
Docs
Theia – Gitpod’s IDE
The IDE in Gitpod is based on the open-source project Theia. It is hosted and developed under the umbrella of the Eclipse Foundation, which ensures vendor neutrality and emphasizes diversity.
Overview
When you open Theia for the first time, a welcome screen is shown to quickly get you started. After closing it you will see the workbench shell. Depending on the context URL, different views might be opened.
Let us have a look at the primary elements of the workbench shell.
Views and Editors
A Theia workbench shell consists of any number of opened views and editors. Views and editors can be freely arranged by dragging and dropping them around.
Main Area and Panels
Within the main area, the drag-and-drop functionality allows for splitting freely as you will. Also widgets can be moved to the side or bottom panels.
Theia vs VSCode
While Theia may look a lot like VSCode, it isn’t VSCode, rather a different IDE following the same design scheme.
Still Have Questions?
Please reach out. We’re happy to answer them.