Theia - Terminal Extension
Theia - Markers Extension
Theia - Editor Extension
Theia - File Search Extension
Theia - Merge Conflicts Extension
Theia - Monaco Extension
Theia - Git Integration
Theia - Preview Extension
Theia - Search in workspace
Theia - Task extension. This extension adds support for executing raw or terminal processes in the backend.
Theia - Editorconfig Extension
Theia - Console Extension
Theia - Java Extension
Theia - Call Hierarchy Extension
Theia - JSON Extension
Theia - Custom Keymaps Extension
Theia - Python Extension
Theia - Preferences Extension
Vuejs support for the Theia IDE
Theia - Textmate Grammars
Theia - GettingStarted Extension
Theia - Typescript Extension
Theia - Cpp Extension
Theia - Debug Extension
Theia - NodeJS Debug Extension