Theia-extension

Theia - GettingStarted Extension

1.0.1 • Published 3 years ago

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.

theia-extension

1.0.0 • Published 3 years ago

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.

theia-extension

1.0.7 • Published 2 years ago

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.

theia-extension

1.0.0 • Published 3 years ago

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.

theia-extension

1.0.1 • Published 3 years ago

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.

theia-extension

0.0.0 • Published 3 years ago

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

theia-extension

0.0.2 • Published 3 years ago

Theia is a cloud & desktop IDE framework implemented in TypeScript.

theia-extension

1.13.0 • Published 4 years ago

A helper widget for Galileo browser based IDE.

theia-extension galileo hypernet metrics node-hosting algorand ethereum tezos prometheus stellar

1.0.0 • Published 4 years ago

A helper widget for Galileo browser based IDE.