Theia-extension Packages

The example extension demonstrates how to contribute a custom widget (i.e. a view or editor) to Eclipse Theia. Furthermore, the template contains an example unit test.

The example extension demonstrates how to contribute a custom widget (i.e. a view or editor) to Eclipse Theia. Furthermore, the template contains an example unit test.

The example extension demonstrates how to contribute a custom widget (i.e. a view or editor) to Eclipse Theia. Furthermore, the template contains an example unit test.

The example extension demonstrates how to contribute a custom widget (i.e. a view or editor) to Eclipse Theia. Furthermore, the template contains an example unit test.

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

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

Theia extension for a modelserver aware JSONForms property view

## Use case

Glue code to integrate Ecore GLSP sprotty client into Eclipse Theia

Generic model triggers computation engine.

Theia extension for a generic JSONForms property view

Model data access interface.

Command-based model editing with undo/redo.

Model service framework

Model service Theia

Generic model validation framework.

A Theia extension for the Theia Cloud Monitor.

Notifies Theia.cloud about user workspace activity

A Theia extension that retrieves the comparison result from the `emf-compare-adaptor` and displays the result in a tree or optionally delegates the differences to a graphical view provided by the user.

This extension is for receiving messages when Theia is run in an iframe.