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

Add missed stub Comment API #5818

Merged
merged 1 commit into from
Aug 1, 2019
Merged

Add missed stub Comment API #5818

merged 1 commit into from
Aug 1, 2019

Conversation

akurinnoy
Copy link
Contributor

Signed-off-by: Oleksii Kurinnyi okurinny@redhat.com

Plugin API lacks some of necessary interfaces that makes Theia plugins fail on build. That was introduced in [Plugin-Api] Add stub comment Plugin-Api .
This PR adds missed interfaces which fixes the problem.

fix eclipse-che/che#14028

@akosyakov akosyakov added the vscode issues related to VSCode compatibility label Jul 30, 2019
Signed-off-by: Oleksii Kurinnyi <okurinny@redhat.com>
@akurinnoy
Copy link
Contributor Author

@vince-fugnitto all checks passed, could you please verify the fix now?

Copy link
Member

@vince-fugnitto vince-fugnitto left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I tested against the following issue in the theia-generator-plugin and it successfully compiled when updating the @theia/plugin extension to use the one updated by your patch.

Nice work 👍


I performed the following use case:

  1. generate a backend plugin and selected the 'hello-world' example. (failed due to Comment)
  2. updated the package.json to instead use the @theia/plugin extension from this patch (using a local npm dependency) and the build successfully passed
  3. to be certain, I also tested the master state using the local npm dependency and it didn't compile (meaning the fix is truly your patch)

@akurinnoy
Copy link
Contributor Author

@vince-fugnitto thanks!

@akosyakov I'm going to merge this PR if there is no objection

@akosyakov
Copy link
Member

@akurinnoy i'm fine since @vinokurig explained why it cannot be removed and @vince-fugnitto tested it

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
vscode issues related to VSCode compatibility
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Generated Hello World plugin build fails
5 participants