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 |
|---|---|
 |
 |
The project was initially scaffolded using the Theia yeoman generator.
The extension can be built using the following command:
yarnThe extension can be run by executing the following command:
browser
yarn start:browser
electron
yarn start:electron
- Eclipse Public License 2.0
- 一 (Secondary) GNU General Public License, version 2 with the GNU Classpath Exception
"Theia" is a trademark of the Eclipse Foundation https://www.eclipse.org/theia