Adapt Che Theia to upstream Theia changes #18263
Labels
area/editor/theia
Issues related to the che-theia IDE of Che
kind/task
Internal things, technical debt, and to-do tasks to be performed.
severity/P1
Has a major impact to usage or development of the system.
Milestone
Is your task related to a problem? Please describe.
Recently, upstream Theia has been extended with SemanticTokens Plug-in API.
Che Theia requires adaptation as it introduces breaking changes.
Describe the solution you'd like
Adapt Che Theia to upstream Theia changes.
Describe alternatives you've considered
While working on it, pin Che Theia to an earlier commit
eclipse-che/che-theia#901
Additional context
Upstream PR eclipse-theia/theia#8593
The text was updated successfully, but these errors were encountered: