Skip to content

vince-fugnitto/theia-custom-getting-started

Repository files navigation


theia logo

ECLIPSE THEIA
EXAMPLE CUSTOM GETTING-STARTED EXTENSION

Overview

The repository is an example of how an extension developer can make use of Theia's extension mechanisms (using `Dependency Injection) in order to customize pre-existing extensions/widgets easily. More information regarding dependency injection can be found here.

The following custom-getting-started widget extends the base getting-started widget and updates the method renderHeader().

Below is the comparison of the widget between both versions:

Default getting-started Custom getting-started
before after

Setup

The project was initially scaffolded using the Theia yeoman generator.

Build

The extension can be built using the following command:

yarn

Run

The extension can be run by executing the following command:

browser

yarn start:browser

electron

yarn start:electron

License

Trademark

"Theia" is a trademark of the Eclipse Foundation https://www.eclipse.org/theia

About

Custom Getting-Started Widget

Topics

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published