@eclipse-emfcloud/jsonforms-property-view
Theia extension for a generic JSONForms property view
Theia extension for a generic JSONForms property view
Theia extension for a modelserver aware JSONForms property view
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.
## Use case
Glue code to integrate Ecore GLSP sprotty client into Eclipse Theia
This extension is for receiving messages when Theia is run in an iframe.
Command line application for `theia-open`
Theia extension
This extension tracks user activity and sends notification about that to Che workspace master to prevent stop of workspace due to inactivity timeout.
Theia - GettingStarted Extension
This template extension does not contain any features, but provides an empty stub including a frontend module and a generic contribution. It can be used as a starting point to implement any custom extension.
This template extension does not contain any features, but provides an empty stub including a frontend module and a generic contribution. It can be used as a starting point to implement any custom extension.
This template extension does not contain any features, but provides an empty stub including a frontend module and a generic contribution. It can be used as a starting point to implement any custom extension.
This template extension does not contain any features, but provides an empty stub including a frontend module and a generic contribution. It can be used as a starting point to implement any custom extension.
This template extension does not contain any features, but provides an empty stub including a frontend module and a generic contribution. It can be used as a starting point to implement any custom extension.
The example extension demonstrates how to register a command in Theia saying "Hello world" using the message service.
A helper widget for Galileo browser based IDE.