Theia-extension Packages

The example extension demonstrates how to register a command in Theia saying "Hello world" using the message service.

Theia - Python Extension

Theia - Search in workspace

Theia - Terminal Extension

Theia - Typescript Extension

Theia - User Storage 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 - Mini-Browser Extension

Theia - Monaco Extension

Theia - Cpp Extension

Theia - Editor Extension