-
Notifications
You must be signed in to change notification settings - Fork 2.5k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
[plug-in] Implement Plugin API #2561
Labels
plug-in system
issues related to the plug-in system
Team: Che-Editors
issues regarding the che-editors team
Comments
evidolob
added
plug-in system
issues related to the plug-in system
Team: Che-Editors
issues regarding the che-editors team
labels
Aug 13, 2018
25 tasks
evidolob
changed the title
[plug-in] Implement Extensions API
[plug-in] Implement Plugin API
Aug 16, 2018
27 tasks
evidolob
added a commit
that referenced
this issue
Aug 29, 2018
Signed-off-by: Yevhen Vydolob <yvydolob@redhat.com>
evidolob
added a commit
that referenced
this issue
Aug 30, 2018
Signed-off-by: Yevhen Vydolob <yvydolob@redhat.com>
evidolob
added a commit
that referenced
this issue
Aug 30, 2018
Signed-off-by: Yevhen Vydolob <yvydolob@redhat.com>
evidolob
added a commit
that referenced
this issue
Aug 30, 2018
Signed-off-by: Yevhen Vydolob <yvydolob@redhat.com>
marcdumais-work
pushed a commit
to marcdumais-work/theia
that referenced
this issue
Oct 15, 2018
Signed-off-by: Yevhen Vydolob <yvydolob@redhat.com>
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Labels
plug-in system
issues related to the plug-in system
Team: Che-Editors
issues regarding the che-editors team
Should implement Extensions API for plugins.
This API allows to read other Plugin
package.json
files and use some plugin provided functionsThe text was updated successfully, but these errors were encountered: