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

Use latest Theia (@theia/latest) instead of @theia/next #102

Closed
bhufmann opened this issue Jul 20, 2020 · 1 comment
Closed

Use latest Theia (@theia/latest) instead of @theia/next #102

bhufmann opened this issue Jul 20, 2020 · 1 comment
Labels
dependencies Pull requests that update a dependency file Packaging and maintenance Related to how theia is packaged and maintained
Milestone

Comments

@bhufmann
Copy link
Collaborator

Right now the theia-trace-extension is using the @theia/next. Instead it should be base on the latest release to avoid unexpected behaviours.

@bhufmann bhufmann added dependencies Pull requests that update a dependency file Packaging and maintenance Related to how theia is packaged and maintained labels Jul 20, 2020
@bhufmann bhufmann added this to the Solid base milestone Jul 20, 2020
bhufmann added a commit that referenced this issue Aug 3, 2020
Signed-off-by: Bernd Hufmann <Bernd.Hufmann@ericsson.com>
@tahini
Copy link
Contributor

tahini commented Aug 24, 2020

Fixed by commit 4df221c

@tahini tahini closed this as completed Aug 24, 2020
hriday-panchasara pushed a commit to hriday-panchasara/theia-trace-extension that referenced this issue Nov 10, 2021
…f @theia/next

Signed-off-by: Bernd Hufmann <Bernd.Hufmann@ericsson.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
dependencies Pull requests that update a dependency file Packaging and maintenance Related to how theia is packaged and maintained
Projects
None yet
Development

No branches or pull requests

2 participants