Theia-extension Packages

Theia - Monaco Extension

Theia - Custom Keymaps Extension

Theia - Git Integration

Theia - Debug Extension

Theia - Console Extension

Theia - GettingStarted Extension

Theia - Workspace Extension

Theia - Terminal Extension

Theia - Type Hierarchy Extension

Theia - Variable Resolver Extension

Theia - Preferences Extension

Theia - Search in workspace

Theia - Task extension. This extension adds support for executing raw or terminal processes in the backend.

Theia - Editor Extension

Theia - Call Hierarchy Extension

Theia - Markers Extension

Theia - Mini-Browser Extension

Theia - Messages Extension

Theia - Output Extension

Theia - Navigator Extension