Skip to content
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

[WIP] Plug-in System #1618

Closed
wants to merge 5 commits into from
Closed

[WIP] Plug-in System #1618

wants to merge 5 commits into from

Conversation

evidolob
Copy link
Contributor

This pull request contains POC of the new plugin system.
Discussion about architecture and principles can be found here: #1482

@evidolob evidolob added the plug-in system issues related to the plug-in system label Mar 30, 2018
@evidolob evidolob force-pushed the isolated-extension-api branch 2 times, most recently from 7a16f17 to a52fe2a Compare March 30, 2018 10:03
@akosyakov
Copy link
Member

@evidolob Could you please use rebase and force to get rid of master changes? It is hard to review now.

Signed-off-by: Yevhen Vydolob <yvydolob@redhat.com>
@evidolob evidolob force-pushed the isolated-extension-api branch 2 times, most recently from dbb9e7b to 142aaaa Compare April 10, 2018 09:12
@akosyakov akosyakov self-requested a review April 10, 2018 09:15
Also move to dev dependencies the core package so plugin's won't have transitive dependencies to core

Change-Id: I2b08265ba411fdf561d52b822dde3c517622a3f3
Signed-off-by: Florent BENOIT <fbenoit@redhat.com>
…e, Linking is performed dynamically by providing '@theia/plugin' object on the fly

Only the module declaration should be exported in package.json
-> So we provide a node cache entry of '@theia/plugin' on the fly

Change-Id: I3af8883122c2d0ecfad94c69c1eaf15cb94a0071
Signed-off-by: Florent BENOIT <fbenoit@redhat.com>
Change-Id: I5288617ebdf93469d33fe0e1508919ea137657d5
Signed-off-by: Florent BENOIT <fbenoit@redhat.com>
Signed-off-by: Yevhen Vydolob <yvydolob@redhat.com>
@benoitf
Copy link
Contributor

benoitf commented May 31, 2018

closing this PR, will open a new one from the up-to-date branch

@benoitf benoitf closed this May 31, 2018
@benoitf benoitf deleted the isolated-extension-api branch July 30, 2018 07:45
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
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants