0.1.41 • Published 5 months ago

generator-theia-extension v0.1.41

Weekly downloads
126
License
EPL-2.0 OR GPL-2....
Repository
github
Last release
5 months ago

Build npm

A yeoman generator that scaffolds a project structure for developing custom Eclipse Theia applications and extensions.

Please also see:

How to use

To use it, install yo (version 4.x.x) and the generator (see next below).

npm install -g yo generator-theia-extension

To create a sample Theia project (optionally with custom Theia extensions) including a browser and electron app, run:

mkdir my-theia-app && cd my-theia-app
yo theia-extension

For configuration options, see:

yo theia-extension --help

Extension Options

The generator allows to generate an example extension that is directly part of the generated Theia application. Alternativly, you can select 'no-extension' to just generate a Theia application without a custom extension.

Template OptionDescriptionDocumentation
hello-worldCreates a simple extension which provides a command and menu item which displays a messagereadme
widgetCreates the basis for a simple widget including a toggle command, alert message and button displaying a message. The template also contains an example unit test.readme
labelproviderCreates a simple extension which adds a custom label (with icon) for .my filesreadme
tree-editorCreates a tree editor extensionreadme
emptyCreates a simple, minimal extensionreadme
backendCreates a backend communication extensionreadme
diagram-editorCreates a diagram editor extensionreadme
no-extensionCreates a Theia application without any extension

Publishing

Follow this instruction to login to the npm registry with a user account.

If you don't have an account contact Theia organization to request one.

Publish with np.

npx np

License

Trademark

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

0.1.41

5 months ago

0.1.40

9 months ago

0.1.39

10 months ago

0.1.38

2 years ago

0.1.37

2 years ago

0.1.36

2 years ago

0.1.35

2 years ago

0.1.34

2 years ago

0.1.33

3 years ago

0.1.30

3 years ago

0.1.31

3 years ago

0.1.32

3 years ago

0.1.29

3 years ago

0.1.28

3 years ago

0.1.27

4 years ago

0.1.26

4 years ago

0.1.25

4 years ago

0.1.24

4 years ago

0.1.23

4 years ago

0.1.22

4 years ago

0.1.21

5 years ago

0.1.20

5 years ago

0.1.19

5 years ago

0.1.18

5 years ago

0.1.17

5 years ago

0.1.16

6 years ago

0.1.15

6 years ago

0.1.14

6 years ago

0.1.13

6 years ago

0.1.12

7 years ago

0.1.11

7 years ago

0.1.10

7 years ago

0.1.9

8 years ago

0.1.8

8 years ago

0.1.7

8 years ago

0.1.6

8 years ago

0.1.5

8 years ago

0.1.4

8 years ago

0.1.3

8 years ago

0.1.2

8 years ago

0.1.1

8 years ago

0.1.0

8 years ago