Theia-extension Packages

Theia - Editor Extension

Theia - Editorconfig Extension

Theia - File Search Extension

Theia - Git Integration

Theia - Java Extension

Theia - Custom Keymaps Extension

Theia - Languages Extension

Theia - Markers Extension

Theia - Merge Conflicts Extension

Theia - Metrics Extension

Theia - Mini-Browser Extension

Theia - Monaco Extension

Theia - Outline View Extension

Theia - Output Extension

Theia - Plugin Extension

Theia - Python Extension

Theia - Search in workspace

Theia - Terminal Extension

Theia - Navigator Extension