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.
- Tips & Tricks
- Git Integration
- Pull Requests
- Code Reviews
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.