-
Notifications
You must be signed in to change notification settings - Fork 40
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
Tree Editor template fails on Theia next #124
Comments
@lucas-koehler : Is it possible to fix this? |
I will investigate later this week |
@JonasHelming I investigated this and as far as I can tell the root cause of this is incorrect versioning of Theia's published With different versions being resolved, the types are not compatible and, thus, the extension cannot be built. |
@vince-fugnitto : Can you comment on this? |
After a little bit of effort |
Thank you very much for the quick fix, @vince-fugnitto . Unfortunately, this did not fix it because versions like Another idea I tried was to set I will investigate a solution in the tree editor package itself (e.g. peer depenencies for Theia). |
@JonasHelming With the latest version of the tree editor, the generation should now work with Theia next. As we currently always use the |
works for me |
There are build errors when generating the tree-editor template on Theia next
The text was updated successfully, but these errors were encountered: