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

#189 Migrate to latest Theia version #66

Merged
merged 1 commit into from
Feb 12, 2021
Merged

Conversation

tortmayr
Copy link
Contributor

  • Set depdenencies of theia extension in browser-app to next
  • Update snapshot (next) dependencies to consume latest sprotty-theia version
  • Adapt codebase to conform to API changes#
  • Remove yarn resolutions block. We no longer need to restrict the version to Theia <=1.4.0

Fixes eclipse-glsp/glsp/issues/189

- Set depdenencies of theia extension in browser-app to next
- Update snapshot (next) dependencies to consume latest sprotty-theia version
- Adapt codebase to conform to API changes#
- Remove yarn resolutions block. We no longer need to restrict the version to Theia <=1.4.0

Fixes eclipse-glsp/glsp/issues/189
Copy link
Contributor

@martin-fleck-at martin-fleck-at left a comment

Choose a reason for hiding this comment

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

Looks good to me and works very well, thank you for the update Tobias! I'm sure it will make things easier in the future :D

@martin-fleck-at martin-fleck-at merged commit 4aace0c into master Feb 12, 2021
@martin-fleck-at martin-fleck-at deleted the tortmayr/issues/189 branch February 12, 2021 14:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Migrate theia-integration to latest Theia version
2 participants